diff options
Diffstat (limited to 'rcutorture/configs/rcu/TREE09')
-rw-r--r-- | rcutorture/configs/rcu/TREE09 | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/rcutorture/configs/rcu/TREE09 b/rcutorture/configs/rcu/TREE09 deleted file mode 100644 index b7a62a5..0000000 --- a/rcutorture/configs/rcu/TREE09 +++ /dev/null @@ -1,19 +0,0 @@ -CONFIG_SMP=n -CONFIG_NR_CPUS=1 -CONFIG_PREEMPT_NONE=n -CONFIG_PREEMPT_VOLUNTARY=n -CONFIG_PREEMPT=y -#CHECK#CONFIG_TREE_PREEMPT_RCU=y -CONFIG_HZ_PERIODIC=n -CONFIG_NO_HZ_IDLE=y -CONFIG_NO_HZ_FULL=n -CONFIG_RCU_TRACE=n -CONFIG_HOTPLUG_CPU=n -CONFIG_SUSPEND=n -CONFIG_HIBERNATION=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=n -CONFIG_DEBUG_OBJECTS_RCU_HEAD=n |