Files
sw_openocd/tcl/target/pic32mx.cfg