Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / src / jtag / minidummy /
drwxr-xr-x   ..
-rw-r--r-- 2013 jtag_minidriver.h
-rw-r--r-- 4625 minidummy.c