About six months ago, I bought a PIC32-PINGUINO-OTG and install a Pinguino IDE on my Debian Linux. My initial project was a data collector of various digital and analogic inputs writing them to a SDCard.
The problem I met was the some pinguinoIDE libraries doesn't work fine.
I changed to a MPIDE scenary (bootloader and wiring editor) and every works fine except SD Library.
After very much hours ...
The solution of the problem was : make a bridge between D8 and D10 and use as chipselect_SD pin -> D10.
It works fine.
I hope it can help someone.