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