kernelconfig_penguin

depends
CONFIG_CLKDEV_LOOKUP
CONFIG_GENERIC_SCHED_CLOCK
NOT CONFIG_ARCH_USES_GETTIMEOFFSET


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


source code:


drivers/clocksource/timer-sp804.c