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