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