If you are an experienced Raspberry Pi® user, check out this resource page for the chipKIT Pi expansion board. It includes some useful pinout tables as well as instructions for programming the PIC32 MCU using native tools on the Raspberry Pi.