chipKIT32/PIC32-avrdude-bootloader — pull request #6 by majenkotech (2014-06-18 09:58:17+00:00)
Title: Added configuration for PICadillo-35t from 4D Systems

Running form a 12MHz crystal, secondary clock turned on.