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