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