| # update_verifier |
| # update_verifier uses the boot_control_hal. |
| type update_verifier, domain, boot_control_hal; |
| type update_verifier_exec, exec_type, file_type; |
| |
| # Allow update_verifier to reach block devices in /dev/block. |
| allow update_verifier block_device:dir search; |
| |
| # Read care map in /data/ota_package/. |
| allow update_verifier ota_package_file:dir r_dir_perms; |
| allow update_verifier ota_package_file:file r_file_perms; |
| |
| # Read all blocks in system partition. |
| allow update_verifier system_block_device:blk_file r_file_perms; |
| |
