| (/.*)? u:object_r:system_file:s0 |
| /bin/crosvm u:object_r:crosvm_exec:s0 |
| /bin/fd_server u:object_r:fd_server_exec:s0 |
| /bin/virtmgr u:object_r:virtualizationmanager_exec:s0 |
| /bin/virtualizationservice u:object_r:virtualizationservice_exec:s0 |
| is_flag_enabled(RELEASE_AVF_ENABLE_DEVICE_ASSIGNMENT, ` |
| /bin/vfio_handler u:object_r:vfio_handler_exec:s0 |
| ') |
| is_flag_enabled(RELEASE_AVF_ENABLE_NETWORK, ` |
| /bin/vmnic u:object_r:vmnic_exec:s0 |
| ') |
| is_flag_enabled(RELEASE_AVF_ENABLE_EARLY_VM, ` |
| /bin/early_virtmgr u:object_r:early_virtmgr_exec:s0 |
| ') |
| /lib(64)?(/.*)? u:object_r:system_lib_file:s0 |
