diff options
Diffstat (limited to 'src/misc/unconfined.cil')
-rw-r--r-- | src/misc/unconfined.cil | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/misc/unconfined.cil b/src/misc/unconfined.cil new file mode 100644 index 0000000..09e045a --- /dev/null +++ b/src/misc/unconfined.cil @@ -0,0 +1,9 @@ +;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-License-Identifier: Unlicense + +(block unconfined + + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) + + (typeattribute typeattr)) |