ref: 2e120a29db72b3fbe104d6168f2837f64c738e2e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot