1 # CONFIG_CACHE_L2X0 is not set
3 # CONFIG_CPU_IDLE_GOV_LADDER is not set
4 CONFIG_CPU_IDLE_GOV_MENU=y
5 CONFIG_CPU_IDLE_MULTIPLE_DRIVERS=y
6 # CONFIG_DEBUG_UNCOMPRESS is not set
10 # CONFIG_RCU_EXPERT is not set
11 # CONFIG_RCU_NEED_SEGCBLIST is not set
12 # CONFIG_RCU_STALL_COMMON is not set