commit: 8fad664ca60249f1eefd1344de33361f1501b14f
Author: Luis Ressel <aranea <AT> aixah <DOT> de>
AuthorDate: Sun Nov 27 13:59:48 2016 +0000
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Sun Nov 27 15:11:32 2016 +0000
URL:
https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=8fad664c
modutils.te: Temporarily remove custom gentoo changes
policy/modules/system/modutils.te | 25 -------------------------
1 file changed, 25 deletions(-)
diff --git a/policy/modules/system/modutils.te
b/policy/modules/system/modutils.te
index 4436336..de34ed4 100644
--- a/policy/modules/system/modutils.te
+++ b/policy/modules/system/modutils.te
@@ -89,10 +89,6 @@ tunable_policy(`use_samba_home_dirs',`
')
optional_policy(`
- dracut_rw_tmp_files(depmod_t)
-')
-
-optional_policy(`
rpm_rw_pipes(depmod_t)
rpm_manage_script_tmp_files(depmod_t)
')
@@ -338,24 +334,3 @@ ifdef(`distro_ubuntu',`
unconfined_domain(update_modules_t)
')
')
-
-ifdef(`distro_gentoo',`
- ############################
- #
- # insmod_t
- #
-
- # During "make modules_install" insmod removes old/previous deps
- delete_files_pattern(insmod_t, modules_object_t, modules_dep_t)
- # During "make modules_install" temp files created by admin
- # that invoked the command are later used by kmod.
- userdom_manage_user_tmp_files(insmod_t)
- userdom_manage_user_tmp_dirs(insmod_t)
-
- # Needed to support signed kernel modules (to find key in
modsign_keyring)
- kernel_search_key(insmod_t)
-
- files_list_src(insmod_t)
- files_manage_src_files(insmod_t)
- files_manage_kernel_modules(insmod_t)
-')
