CONFIG_ATMEL_ST (not configurable)
modulename: timer-atmel-st.ko
configname: CONFIG_ATMEL_ST
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>ATMEL_ST