ref: 5fe33fb80804cadc3c934337fde81af5b7d44243 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot