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