So far I've used this for a long time: ESP32 Arduino Release 1.0.6 based on ESP-IDF v3.3.5 Boardverwalter-URL: "https://dl.espressif.com/dl/package_esp32_index.json ...