kernelconfig_penguin
depends
CONFIG_GENERIC_CLOCKEVENTS

CONFIG_OMAP_DM_TIMER (not configurable)

modulename: timer-ti-dm.ko
configname: CONFIG_OMAP_DM_TIMER

Linux Kernel Configuration
└─> Device Drivers
└─> Clock Source drivers
└─> OMAP_DM_TIMER


source code:


drivers/clocksource/timer-ti-dm.c