diff --git a/.github/workflows/sched-ext.config b/.github/workflows/sched-ext.config
index 88525560..db317e72 100644
--- a/.github/workflows/sched-ext.config
+++ b/.github/workflows/sched-ext.config
@@ -29,12 +29,6 @@ CONFIG_PREEMPTION=y
 CONFIG_PREEMPT_DYNAMIC=y
 CONFIG_PREEMPT_RCU=y
 
-# Additional debugging information (useful to catch potential locking issues)
-#
-CONFIG_DEBUG_LOCKDEP=y
-CONFIG_DEBUG_ATOMIC_SLEEP=y
-CONFIG_PROVE_LOCKING=y
-
 # Bpftrace headers (for additional debug info)
 CONFIG_BPF=y
 CONFIG_BPF_SYSCALL=y