diff --git a/device.te b/device.te
index 6457017d3cd5217425c48419ac207aad55b90b71..880212cd474e051be3d36745b309d1ab02945a8e 100644
--- a/device.te
+++ b/device.te
@@ -98,3 +98,6 @@ type metadata_block_device, dev_type;
 
 # The 'misc' partition used by recovery and A/B.
 type misc_block_device, dev_type;
+
+# Bootctrl block device used by A/B update (update_engine, update_verifier).
+type bootctrl_block_device, dev_type;
diff --git a/file_contexts b/file_contexts
index 851b4558b36266a666506a9cd42042ed95b9933f..3e12ac7b5219a4f7e670aa3b74c755083041dae4 100644
--- a/file_contexts
+++ b/file_contexts
@@ -190,6 +190,7 @@
 /system/bin/inputflinger u:object_r:inputflinger_exec:s0
 /system/bin/logd        u:object_r:logd_exec:s0
 /system/bin/uncrypt     u:object_r:uncrypt_exec:s0
+/system/bin/update_verifier u:object_r:update_verifier_exec:s0
 /system/bin/logwrapper  u:object_r:system_file:s0
 /system/bin/vdc         u:object_r:vdc_exec:s0
 /system/bin/install-recovery.sh u:object_r:install_recovery_exec:s0
diff --git a/update_verifier.te b/update_verifier.te
new file mode 100644
index 0000000000000000000000000000000000000000..42567fec91ffc3d55b01e0bf8d67c0ff793db503
--- /dev/null
+++ b/update_verifier.te
@@ -0,0 +1,10 @@
+# update_verifier
+type update_verifier, domain;
+type update_verifier_exec, exec_type, file_type;
+
+init_daemon_domain(update_verifier)
+
+# Raw writes to bootctrl block device
+allow update_verifier bootctrl_block_device:blk_file rw_file_perms;
+
+# TODO: Add rules to allow update_verifier to read system_block_device.