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