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