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