How do we select the external clock source on the xrtx.
On the board there is a UFL connector for an external clock input and the block diagram shows a switch that is selectable from the FPGA, but how do we configure this in software running on a Linux machine?
Alternatively, how do we synchronise the master clock to the IPPS signal from the GPS receiver?