Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / src / jtag / minidriver /
drwxr-xr-x   ..
-rw-r--r-- 2135 minidriver_imp.h