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