diff options
Diffstat (limited to 'src/dev.cil')
| -rw-r--r-- | src/dev.cil | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/src/dev.cil b/src/dev.cil index bc39e64..6e604f5 100644 --- a/src/dev.cil +++ b/src/dev.cil @@ -2,18 +2,33 @@ ;; SPDX-License-Identifier: Unlicense (block dev - (macro type ((type ARG1)) (typeattributeset typeattr ARG1)) - (typeattribute typeattr) - + (macro root_file_type_transition_file ((type ARG1)) + (call .root.file_type_transition + (ARG1 file dir "dev"))) + (blockinherit .file.all_macro_template_blk_files) (blockinherit .file.all_macro_template_chr_files) + (typeattribute typeattr) + (call .obj.type (typeattr)) (call .devtmp.associate_fs (typeattr)) + (call .tmp.associate_fs (typeattr)) + (call .tmp.associate_fs (file)) + (call .xattr.associate_fs (file)) + + (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) (block except |