Instalar ESP32 en Arduino IDE (guía)
https://docs.espressif.com/projects/arduino-esp32/en/latest/installing.html