diff options
| -rw-r--r-- | linaro/configs/preempt-rt.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/linaro/configs/preempt-rt.conf b/linaro/configs/preempt-rt.conf index a808d4f82a6..cc42b67cd26 100644 --- a/linaro/configs/preempt-rt.conf +++ b/linaro/configs/preempt-rt.conf @@ -1,2 +1,8 @@ CONFIG_PREEMPT=y CONFIG_PREEMPT_RT_FULL=y +# CONFIG_DEBUG_PREEMPT is not set +# CONFIG_DEBUG_SPINLOCK is not set +# CONFIG_DEBUG_MUTEXES is not set +# CONFIG_DEBUG_LOCK_ALLOC is not set +# CONFIG_PROVE_LOCKING is not set +# CONFIG_DEBUG_RT_MUTEXES is not set |