| b.liu | e958203 | 2025-04-17 19:18:16 +0800 | [diff] [blame^] | 1 | ;; -*- mode: CIL; fill-column: 79; indent-tabs-mode: nil; -*- |
| 2 | ;; SPDX-FileCopyrightText: © 2021 Dominick Grift <dominick.grift@defensec.nl> |
| 3 | ;; SPDX-License-Identifier: Unlicense |
| 4 | |
| 5 | (in .sys |
| 6 | (call .rcbootcount.subj_type_transition (subj))) |
| 7 | |
| 8 | (in .file |
| 9 | (call .rcbootcount.obj_type_transition_initscriptfile |
| 10 | (unconfined.subj_typeattr))) |
| 11 | |
| 12 | (block rcbootcount |
| 13 | |
| 14 | ;; |
| 15 | ;; Contexts |
| 16 | ;; |
| 17 | |
| 18 | (filecon |
| 19 | "/etc/init\.d/bootcount" |
| 20 | file |
| 21 | initscriptfile_file_context) |
| 22 | |
| 23 | ;; |
| 24 | ;; Macros |
| 25 | ;; |
| 26 | |
| 27 | (macro obj_type_transition_initscriptfile ((type ARG1)) |
| 28 | (call .file.initscriptfile_obj_type_transition |
| 29 | (ARG1 initscriptfile file "bootcount"))) |
| 30 | |
| 31 | ;; |
| 32 | ;; Policy |
| 33 | ;; |
| 34 | |
| 35 | (blockinherit .initscript.base_template) |
| 36 | |
| 37 | (call .fwenv.subj_type_transition (subj)) |
| 38 | |
| 39 | (call .mtd.subj_type_transition (subj)) |
| 40 | |
| 41 | (call .preinit.read_tmpfile_files (subj)) |
| 42 | (call .preinit.search_tmpfile_dirs (subj))) |