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