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 ...