Support for Dual Timer SP804 module

modulename: timer-sp804.ko

configname: CONFIG_ARM_TIMER_SP804

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Support for Dual Timer SP804 module
In linux kernel since version 2.6.35 (release Date: 2010-08-01)  
source code:

depends
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_GENERIC_SCHED_CLOCK
CONFIG_HAVE_CLK