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