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