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