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