summaryrefslogtreecommitdiff
path: root/src/misc/unconfined.cil
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/unconfined.cil')
-rw-r--r--src/misc/unconfined.cil9
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))