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