ref: 773be02aa18095e857c6659416d84951ceb60d41 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot