Прописать в настройках IDE следующий URL
https://raw.githubusercontent.com/digistump/arduino-boards-index/master/package_digistump_index.json
И установить драйвера
Прописать в настройках IDE следующий URL
https://raw.githubusercontent.com/digistump/arduino-boards-index/master/package_digistump_index.json
И установить драйвера