diff options
Diffstat (limited to 'rcutorture/configs/rcu/TREE07')
-rw-r--r-- | rcutorture/configs/rcu/TREE07 | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/rcutorture/configs/rcu/TREE07 b/rcutorture/configs/rcu/TREE07 deleted file mode 100644 index ab62255..0000000 --- a/rcutorture/configs/rcu/TREE07 +++ /dev/null @@ -1,22 +0,0 @@ -CONFIG_SMP=y -CONFIG_NR_CPUS=16 -CONFIG_PREEMPT_NONE=y -CONFIG_PREEMPT_VOLUNTARY=n -CONFIG_PREEMPT=n -#CHECK#CONFIG_TREE_RCU=y -CONFIG_HZ_PERIODIC=n -CONFIG_NO_HZ_IDLE=n -CONFIG_NO_HZ_FULL=y -CONFIG_NO_HZ_FULL_ALL=y -CONFIG_NO_HZ_FULL_SYSIDLE=y -CONFIG_RCU_FAST_NO_HZ=n -CONFIG_RCU_TRACE=y -CONFIG_HOTPLUG_CPU=y -CONFIG_RCU_FANOUT=2 -CONFIG_RCU_FANOUT_LEAF=2 -CONFIG_RCU_FANOUT_EXACT=n -CONFIG_RCU_NOCB_CPU=n -CONFIG_DEBUG_LOCK_ALLOC=n -CONFIG_RCU_CPU_STALL_INFO=y -CONFIG_RCU_CPU_STALL_VERBOSE=n -CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |