I am using MCUXpresso and it's config tools. Currently my target is MK64FX MCU Teensy 3.5 board but I am using examples from FRDM-K64F board . I configured Teensy board clocks to max 120MHz and to use RTC module with external 32MHz oscillator. The imported project rtc_func from FRDM-K64 board examples functions as described on my Teensy but I think that example is not using RTC module / external oscillator, but rather internal source MCGIRCLK.
Can somebody point me to a right clock configuration used with Clock Config tool which routes true RTC clock from RTC module to be used for any RTC application?