This board features a pic32mx470f512h PIC32 device with a MIPS core.
Specific support for the pic32mx470f512h device is added along with code common to all pic32mx devices.