I have been using a Spartan 6 where the TX/RX pins are multiplexed with the IO pins, I can't find any dedicated TX/RX pins on the Xilinx Zynq Soc, is it a Xilinx thing to multiplex TX/RX with IO pins? I not able to find any thing in the data sheet.
EDIT:
Its using the Arm Cortex A9 processor, I presume the TX/RX pins would be the same as on the a9? would I be correct in thinking so?