Merge "Add missing sepolicies for the Weaver HAL." into oc-dev
diff --git a/public/domain.te b/public/domain.te
index 8f63624..34cbadc 100644
--- a/public/domain.te
+++ b/public/domain.te
@@ -489,6 +489,7 @@
 neverallow {
   domain
   userdebug_or_eng(`-domain') # exclude debuggable builds
+  -hal_bootctl
   -init
   -uncrypt
   -update_engine
diff --git a/public/modprobe.te b/public/modprobe.te
index 24a6b3b..a286c17 100644
--- a/public/modprobe.te
+++ b/public/modprobe.te
@@ -2,6 +2,7 @@
 
 allow modprobe proc_modules:file r_file_perms;
 allow modprobe self:capability sys_module;
+allow modprobe kernel:key search;
 recovery_only(`
   allow modprobe rootfs:system module_load;
   allow modprobe rootfs:file r_file_perms;