Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / target / at91sam9g10.cfg
2011-03-03 Jean-Christophe... at91: add at91sam9g10 support