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