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