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