the ARM ARM states the CNTFRQ should be correctly set during the boot so that generic timer are usable at runtime.
With my last board (ls1021a) the reference manual was pretty explicit regarding the value of the system clock frequency to use. I'm trying to do the same on a Cortex-a7 cpu of iMX7 board, and I'm not sure what is the reference system clock frequency to set in CNTFRQ.
My vendor U-boot is setting CNTFRQ to 8Mhz but I'm not sure why.
Should I read the frequency of the ARM_A7_CLK_ROOT ?