commit 2ec9184e79c10d0dc8c0956f2c071215ef480078
author Steven Moreland <smoreland@google.com> Tue Jan 24 21:10:44 2017 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Tue Jan 24 21:10:44 2017 +0000
tree 60182d016082d5a2b8c4a6515e06b6f45dfc8692
parent e996d1770d3d1630cada14cb7257cde7c8657f61
parent bafa38e0cec4cc32cf135b342874c14136ab3f29

Merge "update_verifier: read dir perms"

public/update_verifier.te

diff --git a/public/update_verifier.te b/public/update_verifier.te
index abbc766..5ee5258 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;