| CONFIG_SMP=y |
| CONFIG_NR_CPUS=8 |
| CONFIG_PREEMPT_NONE=y |
| CONFIG_PREEMPT_VOLUNTARY=n |
| CONFIG_PREEMPT=n |
| #CHECK#CONFIG_TREE_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=y |
| CONFIG_RCU_FANOUT=6 |
| CONFIG_RCU_FANOUT_LEAF=6 |
| CONFIG_RCU_FANOUT_EXACT=n |
| CONFIG_RCU_NOCB_CPU=y |
| CONFIG_RCU_NOCB_CPU_NONE=y |
| CONFIG_DEBUG_LOCK_ALLOC=y |
| CONFIG_PROVE_LOCKING=y |
| CONFIG_PROVE_RCU=y |
| CONFIG_PROVE_RCU_DELAY=y |
| CONFIG_RCU_CPU_STALL_INFO=n |
| CONFIG_RCU_CPU_STALL_VERBOSE=n |
| CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |
| CONFIG_PRINTK_TIME=y |