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