ref: 37e86e041c8b51948c49d50f6bc9fee4e8a19fcb dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot