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