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