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