CONFIG_ARM_ARCH_TIMER (not configurable) - CONFIG_ARM_ARCH_TIMER - arm_arch_timer ;/; arch_timer.ko - kernelconfig.io

kernelconfig_penguin

selects

CONFIG_TIMER_OF
CONFIG_TIMER_ACPI

depends

CONFIG_GENERIC_CLOCKEVENTS

is selected by

CONFIG_ARM_SBSA_WATCHDOG
CONFIG_FSL_ERRATUM_A008585
CONFIG_HISILICON_ERRATUM_161010101
CONFIG_ARM64_ERRATUM_858921
CONFIG_SUN50I_ERRATUM_UNKNOWN1

is depended by

CONFIG_HAVE_ARM_ARCH_TIMER

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