How to assign to HPS_UART_RX pins?

Hi there, I'm using the TSoM Evaluation Kit with a Cyclon V. I'm trying to write a simple echo program using the UART protocoll. In the manual I found the HPS_UART_RX and HPS_UART_TX with Pin No....