mirror of
https://github.com/projectacrn/acrn-hypervisor.git
synced 2025-12-23 21:52:40 +00:00
6ac196d982
The current ACRN-Configurator allow user add duplicate PCI devices to passthrough which it is not correct. This patch add an assert to check the duplicate of PCI devices. Tracked-On: #6690 Signed-off-by: Chenli Wei <chenli.wei@linux.intel.com> Reviewed-by: Junjie Mao <junjie.mao@intel.com>
27 lines
1.2 KiB
XML
27 lines
1.2 KiB
XML
<?xml version="1.0"?>
|
|
<xs:schema
|
|
xmlns:xi="http://www.w3.org/2003/XInclude"
|
|
xmlns:xs="http://www.w3.org/2001/XMLSchema">
|
|
|
|
<xs:element name="acrn-config">
|
|
<xs:complexType>
|
|
<xs:sequence>
|
|
<xs:any processContents="skip" minOccurs="0" maxOccurs="unbounded"/>
|
|
</xs:sequence>
|
|
<xs:anyAttribute processContents="skip"/>
|
|
|
|
<xi:include href="checks/cpu_assignment.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/vbdf_assignment.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/vm_types.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/passthrough_devices.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/virtio_devices.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/vuart_config.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/ivsh_memory.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/rdt_support.xsd" xpointer="xpointer(id('root')/*)" />
|
|
<xi:include href="checks/pci_config.xsd" xpointer="xpointer(id('root')/*)" />
|
|
|
|
</xs:complexType>
|
|
</xs:element>
|
|
|
|
</xs:schema>
|