The goal is to have the nRF52833 stay in sync with GNSS time without the external pulse per second for some significant time (some minutes). This is not possible with a normal crystal due to the inaccuracy. Therefore, is it possible to use an external TCXO as the source for the 32MHz?