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