I don't see this explicitly mentioned anywhere. Is there support for the PIC32 CPU with this toolchain? I'm interested in using the PIC32 in hobby projects and I would prefer an open source and more cross-platform toolchain than what Microchip provides. Is CodeSourcery an option for me? S.