We interested in having SDK support in NECTOStudio for Mikromedia for PIC32 https://www.mikroe.com/mikromedia-3-pic32mx4