Aquí facilitamos los archivos de configuración del Esp32 para trabajo con distintas tecnologías. Una vez que accedas, solo tienes que descargar el archivo, descomprimirlo y abrirlo desde el compilador.
Los archivos del IDE de Arduino (compilador utlizado) tienen que estar dentro de una carpeta con su mismo nombre, por tanto, descomprime la carpeta y no lo saques de ella. Todo el proceso se explica aquí.