index 5569aca1ea0104ddcd6fa401e21f73f63845f70d..47a4682ffec2871b57e5f723b69cf53aaa6c1a9a 100644 (file)
# CPU Frequency scaling
#
# CONFIG_CPU_FREQ is not set
-# CONFIG_CPU_IDLE is not set
+CONFIG_CPU_IDLE=y
+CONFIG_CPU_IDLE_GOV_LADDER=y
+CONFIG_CPU_IDLE_GOV_MENU=y
#
# Floating point emulation