ref: 97e7b5f71dae2755e7391036e799b13cbee1b92a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot