Instalación de Arduino IDE para trabajar con ESP32
Debe entrar a la dirección https://www.arduino.cc/en/software/#ide descargar el Arduino IDE, instalarlo y adicionar el manejo de boards para ESP32.
En el siguiente video se muestra como instalar el Arduino IDE para trabajar con el ESP32
Laboratorio web uniquindio