NPCM7xx timer driver
modulename: timer-npcm7xx.ko
configname: CONFIG_NPCM7XX_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>NPCM7xx timer driver
In linux kernel since version 4.2 (release Date: 2015-08-30)
Enable 24-bit TIMER0 and TIMER1 counters in the NPCM7xx architecture,
where TIMER0 serves as clockevent and TIMER1 serves as clocksource.
where TIMER0 serves as clockevent and TIMER1 serves as clocksource.