Arduino IDE ESP8266 Support

[hjMueller]

you recommend ESP8266 Support for an ESP32 Board in Arduino IDE.
Is this the right combination?

[4m1g0]

Thanks for the report. It was a mistake, the right platform is ESP32. Links however, were right.