This branch contains the Arduino IDE Boards Manager installation support files. For more infomation see https://github.com/MCUdude/MightyCore.