Von GCC gibt's Ports für PIC, zumindest für die grösseren. Die Compiler-Quellen gibt's bei Microchip, aber die Binaries lassen die sich teuer bezahlen...