( você pode acrescentar esse link ao link do ESP8266 (se já existir), separando os links com uma vírgula)
Clique emFerramentas / Placas / Gerenciador de Placas .Na janela do Gerenciador de Placas , refine a sua busca digitando ESP32. Clique emInstall. Seu PC precisa estar conectado na Internet,para baixar o pacote ESP32. Após a instalação, recarregue a IDE do Arduino, para o pacote ficar ativo.
Continue com o procedimento no meu tutorial (links acima) – Configurando a ARDUINO IDE p/ o ESP32 :