1<acrn-config>
2  <hv>
3    <BUILD_TYPE>debug</BUILD_TYPE>
4    <DEBUG_OPTIONS>
5      <SERIAL_CONSOLE>/dev/ttyS0</SERIAL_CONSOLE>
6      <MEM_LOGLEVEL>5</MEM_LOGLEVEL>
7      <NPK_LOGLEVEL>5</NPK_LOGLEVEL>
8      <CONSOLE_LOGLEVEL>3</CONSOLE_LOGLEVEL>
9    </DEBUG_OPTIONS>
10    <FEATURES>
11      <RELOC_ENABLED>y</RELOC_ENABLED>
12      <SCHEDULER>SCHED_BVT</SCHEDULER>
13      <MULTIBOOT2_ENABLED>y</MULTIBOOT2_ENABLED>
14      <SPLIT_LOCK_DETECTION_ENABLED>n</SPLIT_LOCK_DETECTION_ENABLED>
15      <UC_LOCK_DETECTION_ENABLED>y</UC_LOCK_DETECTION_ENABLED>
16      <SECURITY_VM_FIXUP>n</SECURITY_VM_FIXUP>
17      <RDT>
18        <RDT_ENABLED>n</RDT_ENABLED>
19        <CDP_ENABLED>n</CDP_ENABLED>
20        <VCAT_ENABLED>n</VCAT_ENABLED>
21      </RDT>
22      <HYPERV_ENABLED>y</HYPERV_ENABLED>
23      <IOMMU_ENFORCE_SNP>n</IOMMU_ENFORCE_SNP>
24      <ACPI_PARSE_ENABLED>y</ACPI_PARSE_ENABLED>
25      <L1D_VMENTRY_ENABLED>n</L1D_VMENTRY_ENABLED>
26      <MCE_ON_PSC_ENABLED>y</MCE_ON_PSC_ENABLED>
27      <IVSHMEM/>
28    </FEATURES>
29    <MEMORY>
30      <STACK_SIZE>0x2000</STACK_SIZE>
31    </MEMORY>
32    <CAPACITIES>
33      <MAX_VM_NUM>16</MAX_VM_NUM>
34      <MAX_IOAPIC_NUM>1</MAX_IOAPIC_NUM>
35      <MAX_PCI_DEV_NUM>96</MAX_PCI_DEV_NUM>
36      <MAX_IOAPIC_LINES>120</MAX_IOAPIC_LINES>
37      <MAX_PT_IRQ_ENTRIES>64</MAX_PT_IRQ_ENTRIES>
38      <MAX_MSIX_TABLE_NUM>64</MAX_MSIX_TABLE_NUM>
39      <MAX_EMULATED_MMIO>16</MAX_EMULATED_MMIO>
40    </CAPACITIES>
41    <MISC_CFG>
42      <GPU_SBDF>0x00000010</GPU_SBDF>
43    </MISC_CFG>
44    <vuart_connections>
45      <vuart_connection>
46        <name>vUART connection 1</name>
47        <type>legacy</type>
48        <endpoint>
49          <vm_name>PRE_STD_VM0</vm_name>
50          <io_port>0x2F8</io_port>
51        </endpoint>
52        <endpoint>
53          <vm_name>PRE_STD_VM1</vm_name>
54          <io_port>0x2F8</io_port>
55        </endpoint>
56      </vuart_connection>
57    </vuart_connections>
58  </hv>
59  <vm id="0">
60    <load_order>PRE_LAUNCHED_VM</load_order>
61    <vm_type>STANDARD_VM</vm_type>
62    <name>PRE_STD_VM0</name>
63    <cpu_affinity>
64      <pcpu>
65        <pcpu_id>0</pcpu_id>
66      </pcpu>
67      <pcpu>
68        <pcpu_id>2</pcpu_id>
69      </pcpu>
70    </cpu_affinity>
71    <epc_section>
72      <base>0</base>
73      <size>0</size>
74    </epc_section>
75    <memory>
76      <hpa_region>
77        <start_hpa>0x100000000</start_hpa>
78        <size_hpa>512</size_hpa>
79      </hpa_region>
80    </memory>
81    <os_config>
82      <kern_type>KERNEL_BZIMAGE</kern_type>
83      <kern_mod>Linux_bzImage</kern_mod>
84      <ramdisk_mod>Ubuntu</ramdisk_mod>
85      <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
86        </bootargs>
87    </os_config>
88    <console_vuart>COM Port 1</console_vuart>
89    <mmio_resources>
90      <TPM2>n</TPM2>
91    </mmio_resources>
92    <pci_devs>
93      <pci_dev>00:17.0 SATA controller: Intel Corporation Cannon Lake PCH SATA AHCI Controller (rev 10)</pci_dev>
94      <pci_dev>00:1f.6 Ethernet controller: Intel Corporation Ethernet Connection (7) I219-LM (rev 10)</pci_dev>
95    </pci_devs>
96  </vm>
97  <vm id="1">
98    <load_order>PRE_LAUNCHED_VM</load_order>
99    <vm_type>STANDARD_VM</vm_type>
100    <name>PRE_STD_VM1</name>
101    <cpu_affinity>
102      <pcpu>
103        <pcpu_id>1</pcpu_id>
104      </pcpu>
105      <pcpu>
106        <pcpu_id>3</pcpu_id>
107      </pcpu>
108    </cpu_affinity>
109    <epc_section>
110      <base>0</base>
111      <size>0</size>
112    </epc_section>
113    <memory>
114      <hpa_region>
115        <start_hpa>0x120000000</start_hpa>
116        <size_hpa>512</size_hpa>
117      </hpa_region>
118    </memory>
119    <os_config>
120      <kern_type>KERNEL_BZIMAGE</kern_type>
121      <kern_mod>Linux_bzImage</kern_mod>
122      <ramdisk_mod>Ubuntu</ramdisk_mod>
123      <bootargs>        rw rootwait root=/dev/sda3 console=ttyS0 console=tty0 noxsave nohpet no_timer_check ignore_loglevel log_buf_len=16M
124        consoleblank=0 tsc=reliable reboot=acpi
125        </bootargs>
126    </os_config>
127    <console_vuart>COM Port 1</console_vuart>
128    <mmio_resources>
129      <TPM2>n</TPM2>
130    </mmio_resources>
131    <pci_devs>
132      <pci_dev>00:14.0 USB controller: Intel Corporation Cannon Lake PCH USB 3.1 xHCI Host Controller (rev 10)</pci_dev>
133    </pci_devs>
134  </vm>
135</acrn-config>