blob: 76b231edcd148264877ed3f8edaef11861993c8f (
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
|
;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense
(sidcontext kernel (sys.id sys.role sys.subj sys.lowlow))
(block sys
(level low (s0))
(level high (s0 .catset))
(levelrange lowlow (low low))
(levelrange lowhigh (low high))
(role role)
(roletype role subj)
(user id)
(userrole id role)
(userlevel id low)
(userrange id lowhigh)
(blockinherit .subj.template)
(call .obj.role (role))
(call .unconfined.type (subj)))
|
