diff options
Diffstat (limited to 'rcutorture/configs/rcu/TREE05')
-rw-r--r-- | rcutorture/configs/rcu/TREE05 | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/rcutorture/configs/rcu/TREE05 b/rcutorture/configs/rcu/TREE05 deleted file mode 100644 index 3a06b97..0000000 --- a/rcutorture/configs/rcu/TREE05 +++ /dev/null @@ -1,23 +0,0 @@ -CONFIG_SMP=y -CONFIG_NR_CPUS=8 -CONFIG_PREEMPT_NONE=y -CONFIG_PREEMPT_VOLUNTARY=n -CONFIG_PREEMPT=n -#CHECK#CONFIG_TREE_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=y -CONFIG_RCU_FANOUT=6 -CONFIG_RCU_FANOUT_LEAF=6 -CONFIG_RCU_FANOUT_EXACT=n -CONFIG_RCU_NOCB_CPU=y -CONFIG_RCU_NOCB_CPU_NONE=y -CONFIG_DEBUG_LOCK_ALLOC=y -CONFIG_PROVE_LOCKING=y -CONFIG_PROVE_RCU=y -CONFIG_RCU_CPU_STALL_INFO=n -CONFIG_RCU_CPU_STALL_VERBOSE=n -CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |