Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / icnova_imx53_sodimm.cfg
2012-04-10 Wjatscheslaw Stolj... cfg: add icnova_imx53_sodimm board config