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