Собрал DevKit для ESP32, тестовая версия тут
Комплект может ставиться на DevKit ESP8266 и работать вместе с ним, компилятор лежит в отдельной папке, утилита для склейки прошивки тоже отдельная. В папке с примерами только 1 пример для ESP32 - esp32_hello_world
Пример этот собирается, но проверить...