Ok Roque, lo intentaré probar, ya me he bajado la librería para la placa ESP32 y la he puesto en la carpeta …\Arduino\hardware\. El siguiente paso es, antes de ejecutar de nuevo el IDE de Arduino, conectar la placa con el cable usb al ordenador para que detecte la misma e instale los drivers. El problema es que no tengo la placa todavía, pedí los componentes ayer y estoy a la espera de que me lleguen (creo que tardará por lo menos 15 días).
En cuanto lo sepa te lo digo, a menos que sepas como instalar el driver manualmente, es decir, sin disponer de la placa físicamente.
Un saludo y gracias.