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/>
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/>
85      <bootargs>
86        rw rootwait root=/dev/sda3 console=ttyS0 noxsave nohpet no_timer_check ignore_loglevel log_buf_len=16M consoleblank=0 tsc=reliable
87        reboot=acpi
88        </bootargs>
89    </os_config>
90    <console_vuart>COM Port 1</console_vuart>
91    <mmio_resources>
92      <TPM2>n</TPM2>
93    </mmio_resources>
94    <pci_devs>
95      <pci_dev>00:17.0 SATA controller: Intel Corporation Cannon Point-LP SATA Controller [AHCI Mode] (rev 30)</pci_dev>
96      <pci_dev>04:00.0 Ethernet controller: Intel Corporation I210 Gigabit Network Connection (rev 03)</pci_dev>
97    </pci_devs>
98  </vm>
99  <vm id="1">
100    <load_order>PRE_LAUNCHED_VM</load_order>
101    <vm_type>STANDARD_VM</vm_type>
102    <name>PRE_STD_VM1</name>
103    <cpu_affinity>
104      <pcpu>
105        <pcpu_id>1</pcpu_id>
106      </pcpu>
107      <pcpu>
108        <pcpu_id>3</pcpu_id>
109      </pcpu>
110    </cpu_affinity>
111    <epc_section>
112      <base>0</base>
113      <size>0</size>
114    </epc_section>
115    <memory>
116      <hpa_region>
117        <start_hpa>0x120000000</start_hpa>
118        <size_hpa>512</size_hpa>
119      </hpa_region>
120    </memory>
121    <os_config>
122      <kern_type>KERNEL_BZIMAGE</kern_type>
123      <kern_mod>Linux_bzImage</kern_mod>
124      <ramdisk_mod/>
125      <bootargs>
126        rw rootwait root=/dev/sda3 console=ttyS0 noxsave nohpet no_timer_check ignore_loglevel log_buf_len=16M
127        consoleblank=0 tsc=reliable reboot=acpi
128        </bootargs>
129    </os_config>
130    <console_vuart>COM Port 1</console_vuart>
131    <mmio_resources>
132      <TPM2>n</TPM2>
133    </mmio_resources>
134    <pci_devs>
135      <pci_dev>00:14.0 USB controller: Intel Corporation Cannon Point-LP USB 3.1 xHCI Controller (rev 30)</pci_dev>
136      <pci_dev>03:00.0 Ethernet controller: Intel Corporation I210 Gigabit Network Connection (rev 03)</pci_dev>
137    </pci_devs>
138  </vm>
139</acrn-config>