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