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