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