From cef527a3a1a3ee05100d9b2a3794f3ac3b1929e1 Mon Sep 17 00:00:00 2001
From: John Turner <jturner.usa@gmail.com>
Date: Sat, 23 Aug 2025 20:12:42 -0400
Subject: move "debug" out of misc.cil

---
 src/misc.cil | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/misc.cil')

diff --git a/src/misc.cil b/src/misc.cil
index 8192f7a..dd37e6f 100644
--- a/src/misc.cil
+++ b/src/misc.cil
@@ -3,11 +3,6 @@
 
 (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context
 
-(in debug
-
-    (filecon "/sys/kernel/debug" dir ())
-    (filecon "/sys/kernel/debug/.*" any ()))
-
 (in dev
 
     (filecon "/dev" dir file_context)
-- 
cgit v1.2.3