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