aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRussell Coker <russell@coker.com.au>2019-01-19 23:04:44 +1100
committerJason Zaman <jason@perfinion.com>2019-02-10 12:11:25 +0800
commitf7cfd4adf7729be6937e3b607b254532ff41a4d6 (patch)
tree5ae3f4477220bc751348e943a934f71ca0a2de66 /policy/modules/services/devicekit.te
parentselinuxutil: Module version bump. (diff)
downloadhardened-refpolicy-f7cfd4adf7729be6937e3b607b254532ff41a4d6.tar.gz
hardened-refpolicy-f7cfd4adf7729be6937e3b607b254532ff41a4d6.tar.bz2
hardened-refpolicy-f7cfd4adf7729be6937e3b607b254532ff41a4d6.zip
more tiny stuff
I think the old timesync labelling wasn't working anyway due to -- for a directory name. A couple of patches for devicekit calling dmidecode (this is part of replacing some kmem access that was discussed on this list and rejected as a misfeature in Debian DMI related code ages ago). The rest should be obvious. Signed-off-by: Jason Zaman <jason@perfinion.com>
Diffstat (limited to 'policy/modules/services/devicekit.te')
-rw-r--r--policy/modules/services/devicekit.te4
1 files changed, 4 insertions, 0 deletions
diff --git a/policy/modules/services/devicekit.te b/policy/modules/services/devicekit.te
index 20c67188..8b9be93e 100644
--- a/policy/modules/services/devicekit.te
+++ b/policy/modules/services/devicekit.te
@@ -177,6 +177,10 @@ optional_policy(`
')
optional_policy(`
+ dmidecode_domtrans(devicekit_disk_t)
+')
+
+optional_policy(`
fstools_domtrans(devicekit_disk_t)
')