Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / target / imx28.cfg
2012-02-13 James Robinsontopic: Add support for i.MX28EVK