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