hi, on ESP32 pinout(images from web), it is specified that TXD0=GPIO1, RXD0=GPIO3, RXD1=GPIO9, TXD1=GPIO10. Latter two are also used for SPI access to flash. in ESP32 doc (esp_wroom_32_datasheet_en.pdf) on page 9, there is specified that UART0/UART1 can use arbitrary GPIO pin. Is this correct? Rgds,...