Texas Instruments 32.768 Hz Clocksource

modulename: timer-ti-32k.ko

configname: CONFIG_CLKSRC_TI_32K

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Texas Instruments 32.768 Hz Clocksource
In linux kernel since version 4.1 (release Date: 2015-06-21)  
This option enables support for Texas Instruments 32.768 Hz clocksource
available on many OMAP-like platforms.

source code:
drivers/clocksource/timer-ti-32k.c

depends
CONFIG_GENERIC_SCHED_CLOCK
NOT CONFIG_ARCH_USES_GETTIMEOFFSET

is depended by
CONFIG_ARCH_OMAP2PLUS