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

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

(limited to 'src/misc.cil')

diff --git a/src/misc.cil b/src/misc.cil
index 03eb36e..fc8301f 100644
--- a/src/misc.cil
+++ b/src/misc.cil
@@ -3,10 +3,6 @@
 
 (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context
 
-(in devtmp
-
-    (allow fs self (filesystem (associate))))
-
 (in dos
 
     (filecon "/boot/efi" dir fs_context)
-- 
cgit v1.2.3