| CONFIG_RCU_TRACE=y |
| CONFIG_NO_HZ=y |
| CONFIG_SMP=y |
| CONFIG_RCU_FANOUT=2 |
| CONFIG_NR_CPUS=16 |
| CONFIG_RCU_FANOUT_EXACT=n |
| CONFIG_HOTPLUG_CPU=n |
| CONFIG_RCU_NOCB_CPU=y |
| CONFIG_RCU_NOCB_CPU_NONE=n |
| CONFIG_RCU_NOCB_CPU_ZERO=y |
| CONFIG_RCU_NOCB_CPU_ALL=n |
| CONFIG_SUSPEND=n |
| CONFIG_HIBERNATION=n |
| CONFIG_PREEMPT_NONE=n |
| CONFIG_PREEMPT_VOLUNTARY=n |
| CONFIG_PREEMPT=y |
| #CHECK#CONFIG_TREE_PREEMPT_RCU=y |
| CONFIG_RCU_TORTURE_TEST=m |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_PROVE_LOCKING=y |
| CONFIG_PROVE_RCU=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_DEBUG_OBJECTS=y |
| CONFIG_DEBUG_OBJECTS_RCU_HEAD=y |
| CONFIG_SYSFS_DEPRECATED_V2=y |
| CONFIG_SLUB=y |
| CONFIG_IKCONFIG=y |
| CONFIG_IKCONFIG_PROC=y |
| CONFIG_PRINTK_TIME=y |
| |