Añadir ESP32 al IDE de Arduino

En el IDE de Arduino ir al menú y seleccionar Fichero / Preferencias. Copiar en la casilla indicada como URLs adicionales del Gestor de placas:

https://dl.espressif.com/dl/package_esp32_index.json, http://arduino.esp8266.com/stable/package_esp8266com_index.json

En el menú Herramientas / Placa: "..." / Gestor de placas escribir ESP32, seleccionar esp32 by Espressif Systems y clicar el botón Instalar. Aproximadamente se bajan automáticamente unos 300MB.

Una vez instalado, cerrar la ventana emergente de instalación de la placa y seleccionar Herramientas / Placa: "..." / DOIT ESP32 DEVKIT V1. Después seleccionar el puerto adecuado en Herramientas / Puerto / COMx

Installing the ESP32 Board in Arduino IDE (Windows, Mac OS X, Linux)