I was wondering how they got any usable latency with esp32. External adc/dac card- okay

Has one been built ? Not clear from the docs