Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / voltcraft_dso-3062c.cfg
2012-04-02 Uwe HermannInitial config for the Voltcraft DSO-3062C.