PIC32 compiler, cores and boards