Installation über den Board-Manager
Der in der Arduino-IDE eingebaute Board-Manager konfiguriert die IDE für das jeweilig ausgewählte Board.
Unter Datei/Einstellungen muss man unter "Zusätzliche Board-Verwalter-URLs" diesen Eintrag ergänzen:
=> https://dl.espressif.com/dl/package_esp32_index.json