lesto:
se non lo facessero loro, essendo per forza di cose il core open, qualcun'altro lo farà, anche perchè non pare essere molto più complesso che editare i board.txt etc
Il problema con Microchip è che potendo compilare tranquillamente (oltre con le librerie wiring-arduino) in bare metal, con manipolazioni di registro, con macro e con Funzioni, devono per forza essere presenti librerie di Microchip (per esempio la plib.h che contiene define relativi a tutte le librerie di periferica dei PIC32), e non so se siano "esportabili" liberamente!