PIC32 Microcontrollers and the Digilent Chipkit