2 ms·

GCC toolchain for Xtensa has been available since day one. ESP8266 is upstream, pretty sure ESP32 is also.