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