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