diff options
Diffstat (limited to 'rcutorture/configs/rcu/TREE03')
-rw-r--r-- | rcutorture/configs/rcu/TREE03 | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/rcutorture/configs/rcu/TREE03 b/rcutorture/configs/rcu/TREE03 deleted file mode 100644 index f4567fb..0000000 --- a/rcutorture/configs/rcu/TREE03 +++ /dev/null @@ -1,21 +0,0 @@ -CONFIG_SMP=y -CONFIG_NR_CPUS=8 -CONFIG_PREEMPT_NONE=n -CONFIG_PREEMPT_VOLUNTARY=n -CONFIG_PREEMPT=y -#CHECK#CONFIG_TREE_PREEMPT_RCU=y -CONFIG_HZ_PERIODIC=y -CONFIG_NO_HZ_IDLE=n -CONFIG_NO_HZ_FULL=n -CONFIG_RCU_TRACE=y -CONFIG_HOTPLUG_CPU=y -CONFIG_RCU_FANOUT=4 -CONFIG_RCU_FANOUT_LEAF=4 -CONFIG_RCU_FANOUT_EXACT=n -CONFIG_RCU_NOCB_CPU=n -CONFIG_DEBUG_LOCK_ALLOC=n -CONFIG_RCU_CPU_STALL_INFO=n -CONFIG_RCU_CPU_STALL_VERBOSE=n -CONFIG_RCU_BOOST=y -CONFIG_RCU_BOOST_PRIO=2 -CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |