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