ref: 145624eec22577ec6a61cb3c469da48061d6f447 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot