I am working on a Zynq-7000 XC7Z020 SoC and have implemented an AXI timer and connected it to the PS. Now I want to make it run on a very specific time. and show the countdown in the terminal in seconds. For this I need to know the zynqs clk frequency for my platform. I have used this formula to calculate the seconds: seconds = (2^32- Reset value)/clk frequency
Are there anyway to extract the clk freq in the c code in vitis sdk? Does anybody have a solution for this, or feedback on this problem?
In advance, thank you for the help.