| CONFIG_SMP=y |
| CONFIG_NR_CPUS=16 |
| CONFIG_PREEMPT_NONE=y |
| CONFIG_PREEMPT_VOLUNTARY=n |
| CONFIG_PREEMPT=n |
| #CHECK#CONFIG_TREE_RCU=y |
| CONFIG_HZ_PERIODIC=n |
| CONFIG_NO_HZ_IDLE=n |
| CONFIG_NO_HZ_FULL=y |
| CONFIG_NO_HZ_FULL_ALL=y |
| CONFIG_NO_HZ_FULL_SYSIDLE=y |
| CONFIG_RCU_FAST_NO_HZ=n |
| CONFIG_RCU_TRACE=y |
| CONFIG_HOTPLUG_CPU=y |
| CONFIG_RCU_FANOUT=2 |
| CONFIG_RCU_FANOUT_LEAF=2 |
| CONFIG_RCU_FANOUT_EXACT=n |
| CONFIG_RCU_NOCB_CPU=n |
| CONFIG_DEBUG_LOCK_ALLOC=n |
| CONFIG_PROVE_RCU_DELAY=n |
| CONFIG_RCU_CPU_STALL_INFO=y |
| CONFIG_RCU_CPU_STALL_VERBOSE=n |
| CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |
| CONFIG_PRINTK_TIME=y |
