Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / cpu /
2009-05-27 zwelchMove TCL script files -- Step 2 of 2: