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