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