diff options
Diffstat (limited to 'src/misc.cil')
| -rw-r--r-- | src/misc.cil | 21 |
1 files changed, 0 insertions, 21 deletions
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 ()) |