diff options
Diffstat (limited to 'rcutorture/configs/rcu/v0.0/P5-U-T-NH-sd-SMP-hp')
| -rw-r--r-- | rcutorture/configs/rcu/v0.0/P5-U-T-NH-sd-SMP-hp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rcutorture/configs/rcu/v0.0/P5-U-T-NH-sd-SMP-hp b/rcutorture/configs/rcu/v0.0/P5-U-T-NH-sd-SMP-hp index ef624ce..a55c008 100644 --- a/rcutorture/configs/rcu/v0.0/P5-U-T-NH-sd-SMP-hp +++ b/rcutorture/configs/rcu/v0.0/P5-U-T-NH-sd-SMP-hp @@ -13,7 +13,6 @@ CONFIG_PREEMPT_VOLUNTARY=n CONFIG_PREEMPT=y #CHECK#CONFIG_TREE_PREEMPT_RCU=y CONFIG_DEBUG_KERNEL=y -CONFIG_PROVE_RCU_DELAY=y CONFIG_DEBUG_OBJECTS=y CONFIG_DEBUG_OBJECTS_RCU_HEAD=y CONFIG_RT_MUTEXES=y |