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