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