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