chipKIT32/chipKIT32-MAX — pull request #327 by EmbeddedMan (2013-04-04 03:12:03+00:00)
Title: Fix for issue #319 - added Fubarino Mini chipKIT and Fubarino SD chipKIT to boards.txt

... boards.txt file. Note that no new varients are needed.
And they are tested, and appear to work.