summaryrefslogtreecommitdiff
path: root/src/file/bootfile.cil
blob: 9548c39e94c5bcf527e035dce466bfa1d906392d (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
38
39
40
41
42
43
44
45
;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block boot

    (blockinherit .file.boot.template)

    (filecon "/boot" dir file_context)
    (filecon "/boot/.*" any file_context)

    (macro root_file_type_transition_file ((type ARG1))
	(call .root.file_type_transition
	    (ARG1 file dir "boot"))))

(in file

    (block boot

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

	(blockinherit file.all_macro_template_dirs)
	(blockinherit file.all_macro_template_files)

	(typeattribute typeattr)

	(call file.type (typeattr))

	(call .xattr.associate_fs (typeattr))

	(block base_template

	    (blockabstract base_template)

	    (blockinherit .file.base_template)

	    (call .file.boot.type (file)))

	(block template

	    (blockabstract template)

	    (blockinherit .file.boot.base_template)
	    (blockinherit .file.macro_template_dirs)
	    (blockinherit .file.macro_template_files))))