I've been using three different variants of the PIC32MX-series for quite some time, now...

The logs, 'round here, are a bit confusing, as there's a lot of mention of difficulties, and little explanation of accomplishments. Bad Me.

So, yes, it works.

(Yes, I'm using the xc32-gcc compiler, with free-license from Microchip, and Yes, the math-bug seems to have been fixed in the latest version).

Yes, I have been using them for some time.

Yes, I am programming them via openOCD and a FT2232H breakout-board via JTAG.

Yes, I have managed to whittle that down to a couple bash-scripts and makefile snippets 'make run' which don't require any user-interaction.

Yes, programming via JTAG takes a matter of seconds, now, rather than minutes.

I don't recall all the details of *how* I managed all this, it's all scripted now, but rereading my logs, here, am reminded that some amount of "magic" was involved...

So... where's that leave us...?

I guess, at this point, if you're interested in going this path, lemme know... enough "lemme knows" and I'll try to piece together exactly how I pulled it together, and dig/throw up the source-code mods, etc. as I find them.

Oh, and check out @jaromir.sukuba's page: https://hackaday.io/page/2437-myths-and-legends-of-pic-microcontrollers/discussion-67635 wherein you might get ideas for how to go the open-source route, which I've yet to accomplish.

BE SURE TO check out the "instructions" on this project's page... There seems to be some information there about how to rebuild openOCD with the necessary hacks... and more.