ref: 056ad652a41fde51755aedb8119b37fe5946b12c dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot