<acrn-config>
  <hv>
    <BUILD_TYPE>debug</BUILD_TYPE>
    <DEBUG_OPTIONS>
      <SERIAL_CONSOLE>/dev/ttyS0</SERIAL_CONSOLE>
      <MEM_LOGLEVEL>5</MEM_LOGLEVEL>
      <NPK_LOGLEVEL>5</NPK_LOGLEVEL>
      <CONSOLE_LOGLEVEL>3</CONSOLE_LOGLEVEL>
    </DEBUG_OPTIONS>
    <FEATURES>
      <RELOC_ENABLED>y</RELOC_ENABLED>
      <SCHEDULER>SCHED_BVT</SCHEDULER>
      <MULTIBOOT2_ENABLED>y</MULTIBOOT2_ENABLED>
      <SPLIT_LOCK_DETECTION_ENABLED>n</SPLIT_LOCK_DETECTION_ENABLED>
      <UC_LOCK_DETECTION_ENABLED>y</UC_LOCK_DETECTION_ENABLED>
      <SECURITY_VM_FIXUP>n</SECURITY_VM_FIXUP>
      <RDT>
        <RDT_ENABLED>n</RDT_ENABLED>
        <CDP_ENABLED>n</CDP_ENABLED>
        <VCAT_ENABLED>n</VCAT_ENABLED>
      </RDT>
      <HYPERV_ENABLED>y</HYPERV_ENABLED>
      <IOMMU_ENFORCE_SNP>n</IOMMU_ENFORCE_SNP>
      <ACPI_PARSE_ENABLED>y</ACPI_PARSE_ENABLED>
      <L1D_VMENTRY_ENABLED>n</L1D_VMENTRY_ENABLED>
      <MCE_ON_PSC_ENABLED>y</MCE_ON_PSC_ENABLED>
      <IVSHMEM/>
    </FEATURES>
    <MEMORY>
      <STACK_SIZE>0x2000</STACK_SIZE>
    </MEMORY>
    <CAPACITIES>
      <MAX_VM_NUM>16</MAX_VM_NUM>
      <MAX_IOAPIC_NUM>1</MAX_IOAPIC_NUM>
      <MAX_PCI_DEV_NUM>96</MAX_PCI_DEV_NUM>
      <MAX_IOAPIC_LINES>120</MAX_IOAPIC_LINES>
      <MAX_PT_IRQ_ENTRIES>64</MAX_PT_IRQ_ENTRIES>
      <MAX_MSIX_TABLE_NUM>64</MAX_MSIX_TABLE_NUM>
      <MAX_EMULATED_MMIO>16</MAX_EMULATED_MMIO>
    </CAPACITIES>
    <MISC_CFG>
      <GPU_SBDF>0x00000010</GPU_SBDF>
    </MISC_CFG>
    <vuart_connections>
      <vuart_connection>
        <name>vUART connection 1</name>
        <type>legacy</type>
        <endpoint>
          <vm_name>PRE_STD_VM0</vm_name>
          <io_port>0x2F8</io_port>
        </endpoint>
        <endpoint>
          <vm_name>PRE_STD_VM1</vm_name>
          <io_port>0x2F8</io_port>
        </endpoint>
      </vuart_connection>
    </vuart_connections>
  </hv>
  <vm id="0">
    <load_order>PRE_LAUNCHED_VM</load_order>
    <vm_type>STANDARD_VM</vm_type>
    <name>PRE_STD_VM0</name>
    <cpu_affinity>
      <pcpu>
        <pcpu_id>0</pcpu_id>
      </pcpu>
      <pcpu>
        <pcpu_id>2</pcpu_id>
      </pcpu>
    </cpu_affinity>
    <epc_section>
      <base>0</base>
      <size>0</size>
    </epc_section>
    <memory>
      <hpa_region>
        <start_hpa>0x100000000</start_hpa>
        <size_hpa>512</size_hpa>
      </hpa_region>
    </memory>
    <os_config>
      <kern_type>KERNEL_BZIMAGE</kern_type>
      <kern_mod>Linux_bzImage</kern_mod>
      <ramdisk_mod>Ubuntu</ramdisk_mod>
      <bootargs> rw rootwait root=/dev/sda3 console=ttyS0 console=tty0 noxsave nohpet no_timer_check ignore_loglevel log_buf_len=16M consoleblank=0 tsc=reliable reboot=acpi
        </bootargs>
    </os_config>
    <console_vuart>COM Port 1</console_vuart>
    <mmio_resources>
      <TPM2>n</TPM2>
    </mmio_resources>
    <pci_devs>
      <pci_dev>00:17.0 SATA controller: Intel Corporation Device a0d3 (rev 20)</pci_dev>
      <pci_dev>58:00.0 Ethernet controller: Intel Corporation Ethernet Controller I225-LM (rev 03)</pci_dev>
    </pci_devs>
  </vm>
  <vm id="1">
    <load_order>PRE_LAUNCHED_VM</load_order>
    <vm_type>STANDARD_VM</vm_type>
    <name>PRE_STD_VM1</name>
    <cpu_affinity>
      <pcpu>
        <pcpu_id>1</pcpu_id>
      </pcpu>
      <pcpu>
        <pcpu_id>3</pcpu_id>
      </pcpu>
    </cpu_affinity>
    <epc_section>
      <base>0</base>
      <size>0</size>
    </epc_section>
    <memory>
      <hpa_region>
        <start_hpa>0x120000000</start_hpa>
        <size_hpa>512</size_hpa>
      </hpa_region>
    </memory>
    <os_config>
      <kern_type>KERNEL_BZIMAGE</kern_type>
      <kern_mod>Linux_bzImage</kern_mod>
      <ramdisk_mod>Ubuntu</ramdisk_mod>
      <bootargs>        rw rootwait root=/dev/sda3 console=ttyS0 console=tty0 noxsave nohpet no_timer_check ignore_loglevel log_buf_len=16M
        consoleblank=0 tsc=reliable reboot=acpi
        </bootargs>
    </os_config>
    <console_vuart>COM Port 1</console_vuart>
    <mmio_resources>
      <TPM2>n</TPM2>
    </mmio_resources>
    <pci_devs>
      <pci_dev>00:14.0 USB controller: Intel Corporation Tiger Lake-LP USB 3.2 Gen 2x1 xHCI Host Controller (rev 20)</pci_dev>
    </pci_devs>
  </vm>
</acrn-config>