diff options
author | Dominick Grift <dominick.grift@defensec.nl> | 2024-11-04 05:52:25 +0100 |
---|---|---|
committer | Dominick Grift <dominick.grift@defensec.nl> | 2024-11-04 06:26:42 +0100 |
commit | c31f9de714589eb1946a5972ab105011816e2353 (patch) | |
tree | 2b2ed2e698b09f444f512736f9af617d8ca09a87 /src/misc | |
parent | 489df53e4bdd8f03047a8c48b2fb8ccd8b51957e (diff) | |
download | selinux-policy-c31f9de714589eb1946a5972ab105011816e2353.tar.gz |
mls: support templates
Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/mls.cil | 11 | ||||
-rw-r--r-- | src/misc/modular.cil | 2 |
2 files changed, 3 insertions, 10 deletions
diff --git a/src/misc/mls.cil b/src/misc/mls.cil index 357b4d0..007d757 100644 --- a/src/misc/mls.cil +++ b/src/misc/mls.cil @@ -1096,15 +1096,8 @@ c1011 c1012 c1013 c1014 c1015 c1016 c1017 c1018 c1019 c1020 c1021 c1022 c1023)) -(categoryset allcatset (range c0 c1023)) +(categoryset catset (range c0 c1023)) (sensitivity s0) (sensitivityorder (s0)) - -(sensitivitycategory s0 allcatset) - -(level systemlow (s0)) -(level systemhigh (s0 allcatset)) - -(levelrange lowlevelrange (systemlow systemlow)) -(levelrange lowhighlevelrange (systemlow systemhigh)) +(sensitivitycategory s0 catset) diff --git a/src/misc/modular.cil b/src/misc/modular.cil index 601490f..1f7a6bd 100644 --- a/src/misc/modular.cil +++ b/src/misc/modular.cil @@ -1,5 +1,5 @@ ;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense -(selinuxuserdefault sys.id lowlevelrange) +(selinuxuserdefault sys.id sys.lowlow) (userprefix sys.id sys.role) |