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