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