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