chipKIT32/chipKIT32-MAX — pull request #349 by gmtii (2013-05-21 15:23:25+00:00)
Title: Added support for Olimex PIC32 Pinguino dev board.

Board is https://www.olimex.com/Products/Duino/PIC32/PIC32-PINGUINO/