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