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.