Merge "Update Mali DDK to r40 : Additional SELinux settings" into udc-d1-dev

legacy/whitechapel_pro/property.te

@@ -12,3 +12,6 @@ system_vendor_config_prop(vendor_uwb_calibration_prop)
 
 # Trusty storage FS ready
 vendor_internal_prop(vendor_trusty_storage_prop)
+
+# Mali Integration
+vendor_public_prop(vendor_arm_runtime_option_prop)

legacy/whitechapel_pro/property_contexts

@@ -20,3 +20,6 @@ ro.vendor.uwb.calibration.                 u:object_r:vendor_uwb_calibration_pro
 
 # Trusty
 ro.vendor.trusty.storage.fs_ready          u:object_r:vendor_trusty_storage_prop:s0
+
+# Mali GPU driver configuration and debug options
+vendor.mali.                               u:object_r:vendor_arm_runtime_option_prop:s0 prefix

vendor/domain.te

@@ -1,2 +1,5 @@
 allow {domain -appdomain -rs} proc_vendor_sched:dir r_dir_perms;
 allow {domain -appdomain -rs} proc_vendor_sched:file w_file_perms;
+
+# Mali
+get_prop(domain, vendor_arm_runtime_option_prop)

vendor/vendor_init.te

@@ -27,3 +27,6 @@ set_prop(vendor_init, vendor_secure_element_prop)
 set_prop(vendor_init, vendor_usb_config_prop)
 
 set_prop(vendor_init, vendor_ssrdump_prop)
+
+# Mali
+set_prop(vendor_init, vendor_arm_runtime_option_prop)