Added more PIC32 documentation