ref: 0037c93433cdda1dccd35d5fc57682fe1c86eb6d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot