ref: 98c39c15996ffa0febc25c48dcfdd44e60a02643 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot