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