1 CONFIG_SMP=y 2 CONFIG_NR_CPUS=2 3 CONFIG_HOTPLUG_CPU=y 4 CONFIG_PREEMPT_NONE=n 5 CONFIG_PREEMPT_VOLUNTARY=n 6 CONFIG_PREEMPT=y 7 CONFIG_DEBUG_LOCK_ALLOC=y 8 CONFIG_PROVE_LOCKING=y 9 #CHECK#CONFIG_PROVE_RCU=y 10 CONFIG_RCU_EXPERT=y 11
