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