Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / kwikstik.cfg
2011-10-23 Mathias Kadd Freescale Kinetis K40 devices and Kwikstik eval...