kernelconfig_penguin
selects
CONFIG_TIMER_OF

depends
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_GENERIC_SCHED_CLOCK

is selected by
CONFIG_ARC_TIMERS_64BIT

Support for 32-bit TIMERn counters in ARC Cores

modulename: arc_timer.ko
configname: CONFIG_ARC_TIMERS

Linux Kernel Configuration
└─> Device Drivers
└─> Clock Source drivers
└─> Support for 32-bit TIMERn counters in ARC Cores

These are legacy 32-bit TIMER0 and TIMER1 counters found on all ARC cores
(ARC700 as well as ARC HS38).
TIMER0 serves as clockevent while TIMER1 provides clocksource


source code:


drivers/clocksource/arc_timer.c