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