| type adbd_prop, property_type; |
| type apex_config_prop, property_type; |
| type apexd_payload_metadata_prop, property_type; |
| type apexd_prop, property_type; |
| type arm64_memtag_prop, property_type; |
| type bootloader_prop, property_type; |
| type boottime_prop, property_type; |
| type build_prop, property_type; |
| type debuggable_prop, property_type; |
| type cold_boot_done_prop, property_type; |
| type ctl_adbd_prop, property_type; |
| type ctl_apexd_prop, property_type; |
| type ctl_apexd_vm_prop, property_type; |
| type ctl_apkdmverity_prop, property_type; |
| type ctl_authfs_prop, property_type; |
| type ctl_console_prop, property_type; |
| type ctl_default_prop, property_type; |
| type ctl_fuse_prop, property_type; |
| type ctl_interface_restart_prop, property_type; |
| type ctl_interface_start_prop, property_type; |
| type ctl_interface_stop_prop, property_type; |
| type ctl_restart_prop, property_type; |
| type ctl_seriallogging_prop, property_type; |
| type ctl_sigstop_prop, property_type; |
| type ctl_start_prop, property_type; |
| type ctl_stop_prop, property_type; |
| type ctl_zipfuse_prop, property_type; |
| type debug_prop, property_type; |
| type default_prop, property_type; |
| type dev_mnt_prop, property_type; |
| type fingerprint_prop, property_type; |
| type gsid_prop, property_type; |
| type heapprofd_prop, property_type; |
| type init_perf_lsm_hooks_prop, property_type; |
| type init_service_status_private_prop, property_type; |
| type init_service_status_prop, property_type; |
| type init_svc_debug_prop, property_type; |
| type init_debug_policy_prop, property_type; |
| type libc_debug_prop, property_type; |
| type log_prop, property_type; |
| type log_tag_prop, property_type; |
| type microdroid_manager_roothash_prop, property_type; |
| type microdroid_manager_zipfuse_prop, property_type; |
| type microdroid_config_prop, property_type; |
| type microdroid_lifecycle_prop, property_type; |
| type property_service_version_prop, property_type; |
| type shell_prop, property_type; |
| type timezone_prop, property_type; |
| type usb_control_prop, property_type; |
| type vendor_default_prop, property_type; |
| type powerctl_prop, property_type; |
| |
| allow property_type tmpfs:filesystem associate; |
| |
| # Properties should be explicitly labeled in property_contexts |
| neverallow { domain -init } default_prop:file no_rw_file_perms; |
| neverallow { domain -init } default_prop:property_service set; |
| |
| dontaudit { domain -init } default_prop:file no_rw_file_perms; |
| dontaudit { domain -init } default_prop:property_service set; |