kernelconfig_penguin

depends
CONFIG_GENERIC_CLOCKEVENTS

is depended by
CONFIG_ARM_ARCH_TIMER

CONFIG_TIMER_ACPI (not configurable)

configname: CONFIG_TIMER_ACPI

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