diff --git a/projects/Samsung/linux/linux.arm.conf b/projects/Samsung/linux/linux.arm.conf index f970219db4..f2f083e4d3 100644 --- a/projects/Samsung/linux/linux.arm.conf +++ b/projects/Samsung/linux/linux.arm.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/arm 6.6.66 Kernel Configuration +# Linux/arm 6.6.71 Kernel Configuration # CONFIG_CC_VERSION_TEXT="armv7ve-libreelec-linux-gnueabihf-gcc-13.2.0 (GCC) 13.2.0" CONFIG_CC_IS_GCC=y @@ -6535,8 +6535,7 @@ CONFIG_DEBUG_PREEMPT=y # Lock Debugging (spinlocks, mutexes, etc...) # CONFIG_LOCK_DEBUGGING_SUPPORT=y -CONFIG_PROVE_LOCKING=y -# CONFIG_PROVE_RAW_LOCK_NESTING is not set +# CONFIG_PROVE_LOCKING is not set # CONFIG_LOCK_STAT is not set CONFIG_DEBUG_RT_MUTEXES=y CONFIG_DEBUG_SPINLOCK=y @@ -6558,7 +6557,7 @@ CONFIG_DEBUG_ATOMIC_SLEEP=y # CONFIG_SCF_TORTURE_TEST is not set # end of Lock Debugging (spinlocks, mutexes, etc...) -CONFIG_TRACE_IRQFLAGS=y +# CONFIG_TRACE_IRQFLAGS is not set # CONFIG_DEBUG_IRQFLAGS is not set CONFIG_STACKTRACE=y # CONFIG_WARN_ALL_UNSEEDED_RANDOM is not set @@ -6577,7 +6576,7 @@ CONFIG_STACKTRACE=y # # RCU Debugging # -CONFIG_PROVE_RCU=y +# CONFIG_PROVE_RCU is not set # CONFIG_RCU_SCALE_TEST is not set # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_RCU_REF_SCALE_TEST is not set @@ -6604,7 +6603,7 @@ CONFIG_TRACE_CLOCK=y CONFIG_RING_BUFFER=y CONFIG_EVENT_TRACING=y CONFIG_CONTEXT_SWITCH_TRACER=y -CONFIG_PREEMPTIRQ_TRACEPOINTS=y +# CONFIG_PREEMPTIRQ_TRACEPOINTS is not set CONFIG_TRACING=y CONFIG_TRACING_SUPPORT=y CONFIG_FTRACE=y