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