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