Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / target / lpc1850.cfg
2012-11-06 Gianluca RenziAdded support for NXP LPC1850 Microcontroller