chipKIT32/chipKIT32-MAX — pull request #368 by majenkotech (2013-06-25 18:48:20+00:00)
Title: Raspberry pi support

Added targets to build raspberry pi. Also added support for multi-arch uploader command selection