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