kernelconfig_penguin

CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND (not configurable)

configname: CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND

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