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