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