synchronizing multiple GNSS receivers (Teseo v)

Hi.

I want to use two GNSS receiver ICs from the Teseo v family (either STA8100 or STA8135).

It is important in my application that the 3-bit ADC sampling of both receivers will be synchronized.

The IC has a TCXO input which obviously is used as the reference for the down-conversion LO PLL circuit.

Is this TCXO input used as the source for the ADC clock as well? or is the clock sourced from an internal oscillator?

Thanks,

Yonatan