PIC32MX Starter Kit User's Guide
How to Configure PIC32 for 80 MHz
To submit a technical query, please visit Microchip's web site undefinedundefinedsupport.microchip.com. After registration, you will be able to submit a web ticket containing all of the pertinent details of your problem to their engineering support staff. They will research your issue and respond back with a solution.