I have been using FreeRTOS V10.1.1 port for Zynq 7000 and I have been attempting to find out how long does it take one FreeRTOS tick.
I have found that the FreeRTOS uses the SCU timer as a time base. I have also find that the load register of the SCU timer is loaded with value SCUTIMER_CLOCK_HZ/configTICK_RATE_HZ in the FreeRTOS_SetupTickInterrupt. Based on the values of the symbolic constants it seems to me that the load register contains 3 333 333,435. I would need to know the frequency of the clock signal used by the SCU timer to be able to determine the tick period but I have lost in the clock settings. I know that the PS part uses clock signal with frequency 33,3333 MHz but I am not able to find out what is the frequency of the clock signal used by the SCU timer.
Does anybody know how to determine the frequency of the clock signal used by the SCU timer?