ARM Versatile (Express) reference platforms clock source

modulename: versatile.ko

configname: CONFIG_CLKSRC_VERSATILE

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>ARM Versatile (Express) reference platforms clock source
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This option enables clock source based on free running
counter available in the "System Registers" block of
ARM Versatile, RealView and Versatile Express reference
platforms.

source code:
drivers/clocksource/versatile.c

depends
CONFIG_GENERIC_SCHED_CLOCK
CONFIG_PLAT_VERSATILE
NOT CONFIG_ARCH_USES_GETTIMEOFFSET