This page gives an overview of Axi Timer Linux driver which is available as part of the Linux distribution.The LogiCORE™ IP AXI Timer/Counter is a 32/ 64-bit timer module that interfaces to the AXI4-Lite interface.
HW IP features
AXI interface based on the AXI4-Lite specification
Two programmable interval timers with interrupt, event generation, and event capture capabilities
Configurable counter width
One Pulse Width Modulation (PWM) output
Cascaded operation of timers in generate and capture modes