MKR WIFI 1010 with IoT Carrier and Wifi on, is there an UART available?

I'm developing a prototype based on MKR WIFI 1010 and IoT Carrier, connected via wifi to an mqtt broker. I'd like to connect an RS232 device, and I know I have to convert TTL Uart to RS232. While having serial monitor active and wifi connected, do I have an uart available? Which pin should I connect to? Which software interface?