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