Hi,
I am using a NRF9160. I would like to use nrfx_timer with a base frequency of 32MHz with the TXCO as clock source.
I saw in the documentation that timers use the base frequency of 16MHz with the XTAL as clock source.
How can I make this change?