diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/file/bootfile.cil | 9 | ||||
| -rw-r--r-- | src/misc.cil | 9 |
2 files changed, 8 insertions, 10 deletions
diff --git a/src/file/bootfile.cil b/src/file/bootfile.cil index 8e8109a..319866f 100644 --- a/src/file/bootfile.cil +++ b/src/file/bootfile.cil @@ -3,7 +3,14 @@ (block boot - (blockinherit .file.boot.template)) + (blockinherit .file.boot.template) + + (filecon "/boot" dir file_context) + (filecon "/boot/.*" any file_context) + + (macro root_file_type_transition_file ((type ARG1)) + (call .root.file_type_transition + (ARG1 file dir "boot")))) (in file diff --git a/src/misc.cil b/src/misc.cil index 81a3775..5437318 100644 --- a/src/misc.cil +++ b/src/misc.cil @@ -3,15 +3,6 @@ (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context -(in boot - - (filecon "/boot" dir file_context) - (filecon "/boot/.*" any file_context) - - (macro root_file_type_transition_file ((type ARG1)) - (call .root.file_type_transition - (ARG1 file dir "boot")))) - (in bpf (filecon "/sys/fs/bpf" dir ()) |