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