What about the ESP8266/ESP32?

As of September 2020, we now have support for the ESP32 and ESP8266 in TinyGo!

Please see https://tinygo.org/microcontrollers/esp32-mini32 and https://tinygo.org/microcontrollers/esp8266-nodemcu for more information.