summaryrefslogtreecommitdiff
path: root/src/sys.cil
blob: fed73dc28e568720e7eae864fc91413c2cabf3b8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(sidcontext kernel (sys.id sys.role sys.subj lowlevelrange))

(block sys

  (role role)
  (roletype role subj)

  (user id)
  (userrole id role)

  (userlevel id systemlow)
  (userrange id lowhighlevelrange)

  (blockinherit .subj.template)

  (call .obj.role (role))

  (call .unconfined.type (subj)))