GitHub repository: mhmtsui/chipKIT-core
Description: Downloadable chipKIT core for use with Arduino 1.6 - 1.8+ IDE, PlatformIO, and UECIDE