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