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