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