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