summaryrefslogtreecommitdiff
path: root/src/fs/seclabelfs.cil
blob: 1c9f5c478c3b4f4830de9f49896c5f0b63ba9c87 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block seclabelfs

  (macro type ((type ARG1))
	 (typeattributeset typeattr ARG1))

  (typeattribute typeattr)

  (blockinherit .fs.all_macro_template_fs)

  (blockinherit .file.all_macro_template_all_files)
  (blockinherit .file.all_macro_template_blk_files)
  (blockinherit .file.all_macro_template_chr_files)
  (blockinherit .file.all_macro_template_dirs)
  (blockinherit .file.all_macro_template_fifo_files)
  (blockinherit .file.all_macro_template_files)
  (blockinherit .file.all_macro_template_lnk_files)
  (blockinherit .file.all_macro_template_sock_files)

  (call .fs.type (typeattr))

  (block base_template

    (blockabstract base_template)

    (blockinherit .fs.base_template)

    (call .seclabelfs.type (fs)))

  (block template

    (blockabstract template)

    (blockinherit .fs.macro_template_fs)
    (blockinherit .seclabelfs.base_template)))