I have opened a google code page for the PIC32 board here: picnc - Raspberry Pi PIC32 expansion board - Google Project Hosting

Cheers!