diff options
Diffstat (limited to 'src/dev.cil')
| -rw-r--r-- | src/dev.cil | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/src/dev.cil b/src/dev.cil index 5600328..bc39e64 100644 --- a/src/dev.cil +++ b/src/dev.cil @@ -1,47 +1,47 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (block dev - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .file.all_macro_template_blk_files) - (blockinherit .file.all_macro_template_chr_files) + (blockinherit .file.all_macro_template_blk_files) + (blockinherit .file.all_macro_template_chr_files) - (call .obj.type (typeattr)) + (call .obj.type (typeattr)) - (call .devtmp.associate_fs (typeattr)) + (call .devtmp.associate_fs (typeattr)) - (block except + (block except - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (blockinherit .file.all_macro_template_blk_files) - (blockinherit .file.all_macro_template_chr_files) + (blockinherit .file.all_macro_template_blk_files) + (blockinherit .file.all_macro_template_chr_files) - (typeattribute typeattr) + (typeattribute typeattr) - (typeattributeset typeattr (and dev.typeattr (not (exception.typeattr))))) + (typeattributeset typeattr (and dev.typeattr (not (exception.typeattr))))) - (block exception + (block exception - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (call dev.type (typeattr))) + (call dev.type (typeattr))) - (block unconfined + (block unconfined - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr))) + (typeattribute typeattr))) (in unconfined |