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