Support for Microchip(R) PIC32 (per user request) is now available.