Pic32mx.cfg: Change system clock to 8Mhz after reset-init.05/805/3
[openocd/cederom.git] / tcl / chip / 
treef549bd36ded69d75e2f424ef7b8f6745f38b5be2
drwxr-xr-x   ..
drwxr-xr-x - atmel
drwxr-xr-x - st
drwxr-xr-x - ti