Full list is here:
https://tinygo.org/docs/reference/microcontrollers/
A few ESP32s on there.
Another one was added an hour ago, https://github.com/tinygo-org/tinygo/pull/5280
Another one was added an hour ago, https://github.com/tinygo-org/tinygo/pull/5280