ref: 31c30ccc70c5d87f25ecf87ebc8001c38b11a051 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot