ref: 09edae2dcd0010e6982134f9cdc8807efa58f1be dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot