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