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