0001 CONFIG_SMP=y
0002 CONFIG_NR_CPUS=8
0003 CONFIG_PREEMPT_NONE=y
0004 CONFIG_PREEMPT_VOLUNTARY=n
0005 CONFIG_PREEMPT=n
0006 #CHECK#CONFIG_TREE_RCU=y
0007 CONFIG_HZ_PERIODIC=n
0008 CONFIG_NO_HZ_IDLE=y
0009 CONFIG_NO_HZ_FULL=n
0010 CONFIG_RCU_TRACE=n
0011 CONFIG_RCU_FANOUT=6
0012 CONFIG_RCU_FANOUT_LEAF=6
0013 CONFIG_RCU_NOCB_CPU=n
0014 CONFIG_DEBUG_LOCK_ALLOC=y
0015 CONFIG_PROVE_LOCKING=y
0016 #CHECK#CONFIG_PROVE_RCU=y
0017 CONFIG_DEBUG_OBJECTS=y
0018 CONFIG_DEBUG_OBJECTS_RCU_HEAD=y
0019 CONFIG_RCU_EXPERT=y
