This core is available as a package in the Arduino IDE cores manager. Just open the "Boards Manager" and install the package called: This repository is under a Continuous Integration system that every ...