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