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