Clocksource for Energy Micro's EFM32 SoCs

modulename: timer-efm32.ko

and/or

time-efm32.ko

configname: CONFIG_CLKSRC_EFM32

Linux Kernel Configuration
└─>Device Drivers
└─>Clocksource for Energy Micro's EFM32 SoCs
In linux kernel since version 3.13 (release Date: 2014-01-19)  
Support to use the timers of EFM32 SoCs as clock source and clock
event device.

source code:
drivers/clocksource/time-efm32.c

depends
CONFIG_ARM
CONFIG_OF
CONFIG_ARCH_EFM32 or CONFIG_COMPILE_TEST or CONFIG_GENERIC_CLOCKEVENTS