Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / lpc4350_spifi_generic.cfg
2012-09-26 George HarrisAdded SPIFI flash driver, algorithms, and docs