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