https://espressif.github.io/arduino-esp32/package_esp32_dev_index.json Enter the development board manager, search for "esp32", select version 3.0.0-alpha3 under "esp32 by Espressif Systems" below, and reboot it after installation. 3. Open the Arduino IDE and note that Tools in the menu...