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