This seems more like a Xilinx issue as to why the tick interrupt is not firing and how it is initialized . You can take a look at this thread for a solution and also reach out to Xilinx for a better solution.
1 Like