ref: 7effba9d98e8a39ee1504192d02d40e86d90b19a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot