i.MX system counter timer

modulename: timer-imx-sysctr.ko

configname: CONFIG_TIMER_IMX_SYS_CTR

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>i.MX system counter timer
In linux kernel since version 5.1 (release Date: 2019-05-05)  
Enable this option to use i.MX system counter timer as a
clockevent.

source code:
selects
CONFIG_TIMER_OF

depends
CONFIG_GENERIC_CLOCKEVENTS