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