CONFIG_RCU_TRACE=n CONFIG_NO_HZ=y CONFIG_SMP=y CONFIG_RCU_FANOUT=6 CONFIG_NR_CPUS=8 CONFIG_RCU_FANOUT_EXACT=n CONFIG_HOTPLUG_CPU=y CONFIG_PREEMPT_NONE=n CONFIG_PREEMPT_VOLUNTARY=n CONFIG_PREEMPT=y #CHECK#CONFIG_TREE_PREEMPT_RCU=y CONFIG_RCU_TORTURE_TEST=m CONFIG_MODULE_UNLOAD=y CONFIG_RT_MUTEXES=y CONFIG_RCU_BOOST=y CONFIG_RCU_BOOST_PRIO=2 CONFIG_PROVE_LOCKING=y CONFIG_PROVE_RCU=y CONFIG_IKCONFIG=y CONFIG_IKCONFIG_PROC=y CONFIG_PRINTK_TIME=y
