mirror of
https://github.com/projectacrn/acrn-hypervisor.git
synced 2025-10-22 04:41:28 +00:00
54e275c8bb
Use DX names (acrn:title) instead of element names in messages. Add missing message in rdt_support.xsd (all asserts need an annotation with documentation for the error message that will be reported). Tracked-On: #7685 Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
93 lines
4.5 KiB
XML
93 lines
4.5 KiB
XML
<?xml version="1.0"?>
|
|
<xs:schema xml:id="root"
|
|
xmlns:xs="http://www.w3.org/2001/XMLSchema"
|
|
xmlns:acrn="https://projectacrn.org">
|
|
|
|
<xs:assert test="if (//VCAT_ENABLED = 'y')
|
|
then (//CDP_ENABLED = 'n' and //RDT_ENABLED = 'y')
|
|
else true()">
|
|
<xs:annotation>
|
|
<xs:documentation>Hypervisor Virtual Cache Allocation Technology may be enabled only when hypervisor Code and Data Prioritization is disabled.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="if (count(//virtual_cat_support[text() = 'y']) > 0)
|
|
then //RDT_ENABLED = 'y' and //VCAT_ENABLED = 'y'
|
|
else true()">
|
|
<xs:annotation>
|
|
<xs:documentation>VM Virtual Cache Allocation Technology may be enabled only when hypervisor Virtual Cache Allocation Technology is enabled.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="if (//RDT_ENABLED = 'y' and //VCAT_ENABLED = 'y')
|
|
then count(vm[virtual_cat_support[text() = 'y'] and count(clos/vcpu_clos[. = 0])]) = 0
|
|
else true()">
|
|
<xs:annotation>
|
|
<xs:documentation>CLOSID 0 is reserved for the hypervisor and may not be used as a vcpu_clos by a VM.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="every $vm in vm satisfies
|
|
(
|
|
if (//RDT_ENABLED = 'y' and //VCAT_ENABLED = 'y' and $vm/virtual_cat_support[text() = 'y'])
|
|
then count($vm[clos/vcpu_clos[. >= count($vm/..//CLOS_MASK)]]) = 0
|
|
else true()
|
|
)
|
|
">
|
|
<xs:annotation>
|
|
<xs:documentation>Each clos/vcpu_clos must be less than L2/L3 CLOS_MAX.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="every $vm in vm satisfies
|
|
(
|
|
if (//RDT_ENABLED = 'y' and //VCAT_ENABLED = 'y' and $vm/virtual_cat_support[text() = 'y'])
|
|
then count($vm/clos/vcpu_clos) = count(distinct-values($vm/clos/vcpu_clos))
|
|
else true()
|
|
)
|
|
">
|
|
<xs:annotation>
|
|
<xs:documentation>A VM's clos/vcpu_clos settings may not contain duplicate values.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="every $vm1 in vm, $vm2 in $vm1/following-sibling::vm satisfies
|
|
(
|
|
if (//RDT_ENABLED = 'y' and //VCAT_ENABLED = 'y' and ($vm1/virtual_cat_support[text() = 'y'] or $vm2/virtual_cat_support[text() = 'y']))
|
|
then count($vm1/clos/vcpu_clos[. = $vm2/clos/vcpu_clos]) = 0
|
|
else true()
|
|
)
|
|
">
|
|
<xs:annotation>
|
|
<xs:documentation>When Virtual Cache Allocation Technology is enabled, CLOS IDs may not overlap between any VMs.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="every $vm in //vm satisfies $vm//load_order != 'SERVICE_VM' or count($vm//lapic_passthrough[text() = 'y']) = 0 or count(//nested_virtualization_support[text() = 'y']) > 0">
|
|
<xs:annotation>
|
|
<xs:documentation>The Service VM may not use LAPIC passthrough unless hypervisor Nested Virtualization is enabled.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="not (//hv//RDT/RDT_ENABLED = 'y' and //hv//SSRAM/SSRAM_ENABLED = 'y')">
|
|
<xs:annotation>
|
|
<xs:documentation>The hypervisor Intel Resource Director Technology and Software SRAM settings may not be enabled at the same time.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
<xs:assert test="hv//SSRAM_ENABLED = 'n' or empty(vm[load_order ='PRE_LAUNCHED_VM' and vm_type='RTVM']) or
|
|
every $cap in caches/cache[@level=3]/capability[@id='Software SRAM'] satisfies
|
|
(compare($cap/end, '0x80000000') < 0 or compare($cap/start, '0xf8000000') >= 0)">
|
|
<xs:annotation acrn:severity="warning">
|
|
<xs:documentation>The physical software SRAM region may not overlap with pre-defined regions in any VM.
|
|
|
|
When a pre-launched RTVM is enabled, the physical software SRAM is allocated to it at the same guest physical
|
|
address. Thus it is assumed that the software SRAM region does not overlap with any pre-defined region in the
|
|
pre-launched VM, such as the guest PCI hole which resides at 2GB - 3.5GB.
|
|
|
|
This error cannot be fixed by adjusting the configuration. Report a `GitHub issue <https://github.com/projectacrn/acrn-hypervisor/issues>`_ if you receive this error.</xs:documentation>
|
|
</xs:annotation>
|
|
</xs:assert>
|
|
|
|
</xs:schema>
|