Microchip's 32-bit portfolio with the MIPS microAptiv or M4K core offer high performance microcontrollers, and all the tools needed to develop your embedded projects. PIC32 MCUs gives your application the processing power, memory and peripherals your design needs!
[env:stable]
platform = microchippic32
board = ...
...
[env:development]
platform = https://github.com/platformio/platform-microchippic32.git
board = ...
...
Please navigate to documentation.