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