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