From 9489f4b077b0ddd66c187844b33e7128a0a08736 Mon Sep 17 00:00:00 2001 From: John Turner Date: Sat, 23 Aug 2025 20:15:26 -0400 Subject: move "dev" out of misc.cil --- src/misc.cil | 21 --------------------- 1 file changed, 21 deletions(-) (limited to 'src/misc.cil') diff --git a/src/misc.cil b/src/misc.cil index dd37e6f..d0e4998 100644 --- a/src/misc.cil +++ b/src/misc.cil @@ -3,27 +3,6 @@ (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context -(in dev - - (filecon "/dev" dir file_context) - (filecon "/dev/.*" block file_context) - (filecon "/dev/.*" char file_context) - (filecon "/dev/.*" dir file_context) - (filecon "/dev/.*" file file_context) - (filecon "/dev/.*" pipe file_context) - (filecon "/dev/.*" socket file_context) - (filecon "/dev/.*" symlink file_context) - - (macro root_file_type_transition_file ((type ARG1)) - (call .root.file_type_transition - (ARG1 file dir "dev"))) - - (call .tmp.associate_fs (typeattr)) - - (call .tmp.associate_fs (file)) - - (call .xattr.associate_fs (file))) - (in devpts (filecon "/dev/pts" dir ()) -- cgit v1.2.3