Everything turned out to be a piece of cake. It was necessary to look at the output from other serial ports on the board. I plugged my USB-UART converter into another port and saw a login prompt.
Thank you all for finding a solution!