Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / target / at91sam4sXX.cfg
2012-04-26 Olivier Schonkentopic: Added support for the SAM4S variants