1 |
commit: de0bc389501c938e7a739a6dc4c9812f8412f715 |
2 |
Author: Chris PeBenito <pebenito <AT> ieee <DOT> org> |
3 |
AuthorDate: Sun Feb 18 13:19:26 2018 +0000 |
4 |
Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Mar 25 09:30:24 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=de0bc389 |
7 |
|
8 |
udisks2 and /dev/mem version 2 patch from Russell Coker. |
9 |
|
10 |
policy/modules/contrib/devicekit.te | 7 ++++++- |
11 |
1 file changed, 6 insertions(+), 1 deletion(-) |
12 |
|
13 |
diff --git a/policy/modules/contrib/devicekit.te b/policy/modules/contrib/devicekit.te |
14 |
index 390564a3..27e0dae0 100644 |
15 |
--- a/policy/modules/contrib/devicekit.te |
16 |
+++ b/policy/modules/contrib/devicekit.te |
17 |
@@ -1,4 +1,4 @@ |
18 |
-policy_module(devicekit, 1.8.1) |
19 |
+policy_module(devicekit, 1.8.2) |
20 |
|
21 |
######################################## |
22 |
# |
23 |
@@ -151,6 +151,11 @@ miscfiles_read_localization(devicekit_disk_t) |
24 |
userdom_read_all_users_state(devicekit_disk_t) |
25 |
userdom_search_user_home_dirs(devicekit_disk_t) |
26 |
|
27 |
+ifdef(`distro_debian',` |
28 |
+ # /dev/mem is accessed by libparted to get EFI data |
29 |
+ dev_read_raw_memory(devicekit_disk_t) |
30 |
+') |
31 |
+ |
32 |
optional_policy(` |
33 |
dbus_system_bus_client(devicekit_disk_t) |