Para quem já usa o ESP32, boa notícia ! 

http://labdegaragem.com/profiles/blogs/conhecendo-o-esp32-usando-ar...

https://jgamblog.wordpress.com/2018/02/08/conhecendo-o-esp32-usando...

NOVO Método (fácil) para instalação do ESP32 na IDE do Arduino – agosto de 2018 :

Carregue  a IDE do Arduino no seu PC e abra a janela de preferências.

Na opção URLs adicionais para Gerenciadores de Placas : entre com o link

https://dl.espressif.com/dl/package_esp32_index.json

( você pode acrescentar esse link ao link do ESP8266 (se já existir), separando os links com uma vírgula)

Clique em Ferramentas /  Placas / Gerenciador de Placas . Na janela do Gerenciador de Placas , refine a sua busca digitando ESP32.  Clique em Install. 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 :

Referência : Installation instructions ESP32 – Arduino