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