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