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