The compiler is 100% gcc, so it can be recompiled to wathever you want, in fact it is the mips-gcc variation with some Microchip headers.
Someone needs to be the guinea pig for this.
Has anyone tried using these, and do they "just work" as a drop-in substitute?
It seems odd that maple never seemed to get it done, and this comes out fully complete.
I think chipKit is somewhat aided by some microchip-owned slightly-closed-source libraries that they allowed to be used in an otherwise open-source project (low level initialization for the on-chip peripherals, for example.) ... Also, I think chipKit was better funded; people were able to work on it full-time.
and source is freely available.
My beef with Microchip is ... the cost of their toolchain.