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