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