| (/.*)? 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 | |
| ') |