kernelconfig_penguin

CONFIG_CLKSRC_TANGO_XTAL (not configurable)

modulename: tango_xtal.ko

and/or

timer-tango-xtal.ko
configname: CONFIG_CLKSRC_TANGO_XTAL

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


source code:


drivers/clocksource/tango_xtal.c