diff options
Diffstat (limited to 'src/anoninode/kvmgmemanoninode.cil')
| -rw-r--r-- | src/anoninode/kvmgmemanoninode.cil | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/src/anoninode/kvmgmemanoninode.cil b/src/anoninode/kvmgmemanoninode.cil index ef8ed90..13ecdb2 100644 --- a/src/anoninode/kvmgmemanoninode.cil +++ b/src/anoninode/kvmgmemanoninode.cil @@ -1,45 +1,45 @@ -;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense (in kvm (block gmem - (blockinherit anon_inode.template) + (blockinherit anon_inode.template) - (block anon_inode + (block anon_inode - (macro type ((type ARG1)) - (typeattributeset typeattr ARG1)) + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) - (typeattribute typeattr) + (typeattribute typeattr) - (blockinherit .anon_inode.all_macro_template_anon_inodes) + (blockinherit .anon_inode.all_macro_template_anon_inodes) - (call .anon_inode.type (typeattr)) + (call .anon_inode.type (typeattr)) - (block base_template + (block base_template - (blockabstract base_template) + (blockabstract base_template) - (blockinherit .anon_inode.base_template) + (blockinherit .anon_inode.base_template) - (call .kvm.gmem.anon_inode.type (anon_inode))) + (call .kvm.gmem.anon_inode.type (anon_inode))) - (block template + (block template - (macro map_anon_inode_anon_inodes ((type ARG1)) - (allow ARG1 anon_inode (anon_inode (map)))) + (macro map_anon_inode_anon_inodes ((type ARG1)) + (allow ARG1 anon_inode (anon_inode (map)))) - (macro self_type_transition_anon_inode ((type ARG1)) - (call self_type_transition - (ARG1 anon_inode "[kvm-gmem]"))) + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[kvm-gmem]"))) - (blockabstract template) + (blockabstract template) - (blockinherit .anon_inode.macro_template_anon_inodes) + (blockinherit .anon_inode.macro_template_anon_inodes) - (blockinherit .kvm.gmem.anon_inode.base_template))))) + (blockinherit .kvm.gmem.anon_inode.base_template))))) (in anon_inode.unconfined |