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