kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_ARM_ARCH_TIMER.
Result is shown for kernelversion 6.0-rc7

CONFIG_ARM_ARCH_TIMER (not configurable)

modulename: arm_arch_timer.ko

and/or

arch_timer.ko
configname: CONFIG_ARM_ARCH_TIMER

Linux Kernel Configuration
└─> Device Drivers
└─> Clock Source drivers
└─> ARM_ARCH_TIMER


source code:


drivers/clocksource/arm_arch_timer.c