PIC32Mxシリーズは、安くて高性能のようですが、
gccはありましたっけ?
高すぎて手が出ない、xcのフリーバージョンでも実用的には問題なし、というのはナシで。