TraceX to debug ThreadX via UART (BG95)

Hi folks, is it possible to use UART to debug ThreadX in BG95? Tx_trace.h is there…

Thanks.