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