Rename boot_control_hal to hal_bootctl
This is the result of switching the Boot Control HAL to the
_client/_server attributized model.
Test: Device boots up, no new denials
Test: Reboot into recovery, sideload OTA update succeeds
Bug: 34170079
Change-Id: I274d9cb5b2919de3037b932da0453615d77a29ed
diff --git a/sepolicy/boot_control_hal.te b/sepolicy/boot_control_hal.te
deleted file mode 100644
index 823e336..0000000
--- a/sepolicy/boot_control_hal.te
+++ /dev/null
@@ -1,32 +0,0 @@
-# These are the permissions required to use the boot_control HAL implemented
-# here: hardware/qcom/bootctrl/boot_control.c
-
-# Getting and setting GPT attributes for the bootloader iterates over all the
-# partition names in the block_device directory /dev/block/.../by-name
-allow boot_control_hal block_device:dir r_dir_perms;
-
-# Allow boot_control_hal to get attributes on all the A/B partitions.
-allow boot_control_hal {
- custom_ab_block_device
- xbl_block_device
- boot_block_device
- ssd_block_device
- modem_block_device
- system_block_device
-}:blk_file { getattr };
-
-# Allow the boot_control_hal to edit the attributes stored in the GPT.
-allow boot_control_hal gpt_block_device:blk_file rw_file_perms;
-
-# Allow boot_control_hal to access /dev/sgN devices (generic SCSI) to write the
-# A/B slot selection for the XBL partition. Allow also to issue a
-# UFS_IOCTL_QUERY ioctl.
-allow boot_control_hal sg_device:chr_file rw_file_perms;
-
-# Allow boot control to read the sysfs to lookup what /dev/sgN device
-# corresponds to the XBL partitions.
-allow boot_control_hal sysfs:file r_file_perms;
-allow boot_control_hal sysfs:dir r_dir_perms;
-
-# Allow boot_control_hal to write to the XBL devices.
-allow boot_control_hal xbl_block_device:blk_file rw_file_perms;
diff --git a/sepolicy/hal_bootctl.te b/sepolicy/hal_bootctl.te
new file mode 100644
index 0000000..d45b185
--- /dev/null
+++ b/sepolicy/hal_bootctl.te
@@ -0,0 +1,32 @@
+# These are the permissions required to use the Boot Control HAL implemented
+# here: hardware/qcom/bootctrl/boot_control.c
+
+# Getting and setting GPT attributes for the bootloader iterates over all the
+# partition names in the block_device directory /dev/block/.../by-name
+allow hal_bootctl block_device:dir r_dir_perms;
+
+# Get attributes on all the A/B partitions.
+allow hal_bootctl {
+ custom_ab_block_device
+ xbl_block_device
+ boot_block_device
+ ssd_block_device
+ modem_block_device
+ system_block_device
+}:blk_file { getattr };
+
+# Edit the attributes stored in the GPT.
+allow hal_bootctl gpt_block_device:blk_file rw_file_perms;
+
+# Access /dev/sgN devices (generic SCSI) to write the
+# A/B slot selection for the XBL partition. Allow also to issue a
+# UFS_IOCTL_QUERY ioctl.
+allow hal_bootctl sg_device:chr_file rw_file_perms;
+
+# Read the sysfs to lookup what /dev/sgN device
+# corresponds to the XBL partitions.
+allow hal_bootctl sysfs:file r_file_perms;
+allow hal_bootctl sysfs:dir r_dir_perms;
+
+# Write to the XBL devices.
+allow hal_bootctl xbl_block_device:blk_file rw_file_perms;
