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