> How close would the PIC32 gcc compiler/toolchain be? The PIC32 is a > MIPS-based MCU.
inside PIC32 there is a MIPS32-R2 core, but the toolchain is not OS-profiled it's metal bare (without an OS, and in this case Linux requires a lot of considerations) besides, the C compiler and libraries (and also linker scripts) have been modified by Microchip in short it doesn't help
