This core is available as a package in the Arduino IDE cores manager. Just open the "Boards Manager" and install the package called: Before posting a new issue, please check if the same problem has ...