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