diff --git a/public/hal_boot.te b/public/hal_boot.te
index 327fbf98fdff65002b9d85301485ae319192e8cc..3cbbb2916329f2d9cd93acca4dd0c9ce3fe0278a 100644
--- a/public/hal_boot.te
+++ b/public/hal_boot.te
@@ -1,5 +1,5 @@
 # boot_control subsystem
-type hal_boot, domain;
+type hal_boot, domain, boot_control_hal;
 type hal_boot_exec, exec_type, file_type;
 
 # hwbinder access
diff --git a/public/update_engine.te b/public/update_engine.te
index a3dee0db74c9e6adf65831769f2c88388adff2b9..2c6e585b6c7e50706739207893af2efeb65576ec 100644
--- a/public/update_engine.te
+++ b/public/update_engine.te
@@ -33,3 +33,7 @@ binder_call(update_engine, priv_app)
 # Read OTA zip file at /data/ota_package/.
 allow update_engine ota_package_file:file r_file_perms;
 allow update_engine ota_package_file:dir r_dir_perms;
+
+# Use binderized HAL
+hwbinder_use(update_engine)
+binder_call(update_engine, hal_boot)
diff --git a/public/update_verifier.te b/public/update_verifier.te
index 550cf659f82b4b8507bde8e984fc9724edc37aad..abbc7663d854aeda202eb33eaac58dbcf4248b7f 100644
--- a/public/update_verifier.te
+++ b/public/update_verifier.te
@@ -16,5 +16,3 @@ allow update_verifier system_block_device:blk_file r_file_perms;
 # Use binderized HAL
 hwbinder_use(update_verifier)
 binder_call(update_verifier, hal_boot)
-
-allow update_verifier system_file:dir r_dir_perms;