It just needs a time with a window to port the USB driver or even better, port everything to the arduino libraries. Development would be a lot faster, since the microcontroller isn't doing anything revolutionary.

GCC for AVR is so mainstream, it's now tracked in the GCC changelogs. No mention of GCC for PIC anywhere.