kernelconfig_penguin

NPCM7xx timer driver

modulename: timer-npcm7xx.ko
configname: CONFIG_NPCM7XX_TIMER

Linux Kernel Configuration
└─> Device Drivers
└─> Clock Source drivers
└─> NPCM7xx timer driver

Enable 24-bit TIMER0 and TIMER1 counters in the NPCM7xx architecture,
where TIMER0 serves as clockevent and TIMER1 serves as clocksource.


source code:


drivers/clocksource/timer-npcm7xx.c