| CONFIG_SMP=y |
| CONFIG_NR_CPUS=8 |
| CONFIG_PREEMPT_NONE=n |
| CONFIG_PREEMPT_VOLUNTARY=n |
| CONFIG_PREEMPT=y |
| #CHECK#CONFIG_PREEMPT_RCU=y |
| CONFIG_HZ_PERIODIC=n |
| CONFIG_NO_HZ_IDLE=y |
| CONFIG_NO_HZ_FULL=n |
| CONFIG_RCU_FAST_NO_HZ=n |
| CONFIG_RCU_TRACE=n |
| CONFIG_HOTPLUG_CPU=n |
| CONFIG_SUSPEND=n |
| CONFIG_HIBERNATION=n |
| CONFIG_RCU_FANOUT=3 |
| CONFIG_RCU_FANOUT_LEAF=2 |
| CONFIG_RCU_NOCB_CPU=y |
| CONFIG_RCU_NOCB_CPU_ALL=y |
| CONFIG_DEBUG_LOCK_ALLOC=n |
| CONFIG_PROVE_LOCKING=y |
| #CHECK#CONFIG_PROVE_RCU=y |
| CONFIG_RCU_BOOST=n |
| CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |
| CONFIG_RCU_EXPERT=y |
