I actually refuse to use PIC32 on principle because they took the MIPS version of gcc, added a license manager to it that disabled -O2 and higher unless you paid them a substantial sum of money for a license key, and then tried to make people use their crippled gcc by forbidding people from using the official PIC32 peripheral libraries with any other version of the compiler. It was a really sleazy end-run around the intent of the GPL.