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