diff options
Diffstat (limited to 'rcutorture/configs/rcu/TINY01')
-rw-r--r-- | rcutorture/configs/rcu/TINY01 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/rcutorture/configs/rcu/TINY01 b/rcutorture/configs/rcu/TINY01 deleted file mode 100644 index 0a63e07..0000000 --- a/rcutorture/configs/rcu/TINY01 +++ /dev/null @@ -1,12 +0,0 @@ -CONFIG_SMP=n -CONFIG_PREEMPT_NONE=y -CONFIG_PREEMPT_VOLUNTARY=n -CONFIG_PREEMPT=n -#CHECK#CONFIG_TINY_RCU=y -CONFIG_HZ_PERIODIC=n -CONFIG_NO_HZ_IDLE=y -CONFIG_NO_HZ_FULL=n -CONFIG_RCU_TRACE=n -CONFIG_DEBUG_LOCK_ALLOC=n -CONFIG_DEBUG_OBJECTS_RCU_HEAD=n -CONFIG_PREEMPT_COUNT=n |