Hi Chris, just wanted to report back. Your blog page was helpful in getting the
PIC32 setup and going. Thanks. I managed to burn the DP32 bootloader into a
blank chip using my PICKit3. I only had a 4-Mhz xtal, so had to change a couple
of configuration DIV settings.
Once I got the hang of how to get the DP32 into bootloader mode, and watching
the USB peripheral go in and out of recognition by the PC [bizarre], things are
working well now. Helpful writeup.
I'm using the PIC32 in my board made for the PIC24, so it's an easy drop-in
upgrade to 32-bits, :-). Now to see if some of the MPIDE/Arduino sketches
and libraries work.