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