Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / target / at91sam3uxx.cfg
2011-12-01 Harald Weltemake sure file name case of at91sam3uxx matches what...