ref: 65ca71742cd75844e8720d1e4324bd1d4bff972d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot