Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / icnova_sam9g45_sodimm.cfg
2012-02-13 Lars Poescheladd icnova_sam9g45_sodimm support