diff --git a/misc/config_tools/schema/checks/pci_config.xsd b/misc/config_tools/schema/checks/pci_config.xsd new file mode 100644 index 000000000..f84f2aa24 --- /dev/null +++ b/misc/config_tools/schema/checks/pci_config.xsd @@ -0,0 +1,16 @@ + + + + + + + + + The PCI device '{$pci_device}' has been assigned multiple times to VM(s) '{//vm[./pci_devs/pci_dev/text()=$pci_device]/name}' + + + + diff --git a/misc/config_tools/schema/datachecks.xsd b/misc/config_tools/schema/datachecks.xsd index 3f6b2ebca..a38944a0a 100644 --- a/misc/config_tools/schema/datachecks.xsd +++ b/misc/config_tools/schema/datachecks.xsd @@ -18,6 +18,7 @@ +