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/docs/reference/microcontrollers/esp32-mini32 and https://tinygo.org/docs/reference/microcontrollers/nodemcu for more information.
Last modified December 1, 2022: docs/concepts/faq: fix broken link to NodeMCU (90a3fd3)