From f7cfd4adf7729be6937e3b607b254532ff41a4d6 Mon Sep 17 00:00:00 2001 From: Russell Coker Date: Sat, 19 Jan 2019 23:04:44 +1100 Subject: 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 --- policy/modules/services/devicekit.te | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'policy/modules/services/devicekit.te') diff --git a/policy/modules/services/devicekit.te b/policy/modules/services/devicekit.te index 20c671886..8b9be93e7 100644 --- a/policy/modules/services/devicekit.te +++ b/policy/modules/services/devicekit.te @@ -176,6 +176,10 @@ optional_policy(` ') ') +optional_policy(` + dmidecode_domtrans(devicekit_disk_t) +') + optional_policy(` fstools_domtrans(devicekit_disk_t) ') -- cgit v1.2.3-65-gdbad