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