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