Arduino additional board manager url for esp8266 July 8, 2019 16 32 64 128 Esp8266 board manager How to add esp32 in arduino ide