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