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