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