but the hardware desciption says that there's a TX clock. and i can't find something like a clock in the example program i've got
The Tx and Rx clocks are generated by the timer you associate with the UART, follow the formula for calculating timre reload.

Erik