ref: 1127c8dca4295ed73ade37da3fe75d9d05bc522d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot