UART pinout Ultra96V2

Hello everyone,

I would use the uart pinout uart1_tx, uart1_rx (no JTAG pin) in a Ultra96V2 board with freeRTOS. The question is, can you suggest me a documentation on how to use uart with those pinout, or can I use the xuartps.h library and API to enable the communication?

in the latter case I know where to find docs and examples. Thank you so much in advance!