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