Clocksource using i.MX TPM

modulename: timer-imx-tpm.ko

configname: CONFIG_CLKSRC_IMX_TPM

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource using i.MX TPM
In linux kernel since version 4.2 (release Date: 2015-08-30)  
Enable this option to use IMX Timer/PWM Module (TPM) timer as
clocksource.

source code:

depends
CONFIG_ARM
CONFIG_CLKDEV_LOOKUP
CONFIG_GENERIC_CLOCKEVENTS
NOT CONFIG_ARCH_USES_GETTIMEOFFSET

is depended by
CONFIG_SOC_IMX7ULP