Repositório do ESP32 fica no link abaixo caso queira obter informações diretamente com os desenvolvedores:
Passo 1
Acessar a IDE Arduino em Arquivos > Preferencias e adicionar a URL abaixo no campo URL Adicionais para Gerenciadores de placa. Existem duas URL que pode ser usada:
- Link de liberação estável: https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
- Link de lançamento de desenvolvimento: https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_dev_index.json
Passo 2
Abra o gerenciador de placas em Ferramentas> menu Placa e pesquise a palavra ESP32.
Passo 3
Clique em instalar na opção selecionada em Gerenciador de Placas.
Pronto, agora poderá usar suas placas com micro controlador esp32 diretamente no Arduino.