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