From 7777f4eb94581b880ffea48f9e75daa9085b8e45 Mon Sep 17 00:00:00 2001 From: John Turner Date: Sat, 23 Aug 2025 20:16:17 -0400 Subject: move "devpts" 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 d0e4998..03eb36e 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 devpts - - (filecon "/dev/pts" dir ()) - (filecon "/dev/pts/.*" any ())) - (in devtmp (allow fs self (filesystem (associate)))) -- cgit v1.2.3