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