diff --git a/public/update_verifier.te b/public/update_verifier.te
index abbc7663d854aeda202eb33eaac58dbcf4248b7f..5ee525839e98d377899b3baea1ce9109277bfcc7 100644
--- a/public/update_verifier.te
+++ b/public/update_verifier.te
@@ -3,6 +3,9 @@
 type update_verifier, domain, boot_control_hal;
 type update_verifier_exec, exec_type, file_type;
 
+# find the boot_control_hal
+allow update_verifier system_file:dir r_dir_perms;
+
 # Allow update_verifier to reach block devices in /dev/block.
 allow update_verifier block_device:dir search;