<acrn-config board="whl-ipc-i7">
	<BIOS_INFO>
	BIOS Information
	Vendor: American Megatrends Inc.
	Version: WL10R104
	Release Date: 09/12/2019
	BIOS Revision: 5.13
	</BIOS_INFO>

	<BASE_BOARD_INFO>
	Base Board Information
	Manufacturer: Maxtang
	Product Name: WL10
	Version: V1.0
	</BASE_BOARD_INFO>

	<PCI_DEVICE>
	00:00.0 Host bridge: Intel Corporation Device 3e34 (rev 0b)
	00:02.0 VGA compatible controller: Intel Corporation Device 3ea0
	Region 0: Memory at a0000000 (64-bit, non-prefetchable) [size=16M]
	Region 2: Memory at 90000000 (64-bit, prefetchable) [size=256M]
	00:12.0 Signal processing controller: Intel Corporation Device 9df9 (rev 30)
	Region 0: Memory at a141e000 (64-bit, non-prefetchable) [size=4K]
	00:14.0 USB controller: Intel Corporation Device 9ded (rev 30)
	Region 0: Memory at a1400000 (64-bit, non-prefetchable) [size=64K]
	00:14.2 RAM memory: Intel Corporation Device 9def (rev 30)
	Region 0: Memory at a1416000 (64-bit, non-prefetchable) [disabled] [size=8K]
	Region 2: Memory at a141d000 (64-bit, non-prefetchable) [disabled] [size=4K]
	00:16.0 Communication controller: Intel Corporation Device 9de0 (rev 30)
	Region 0: Memory at a141c000 (64-bit, non-prefetchable) [size=4K]
	00:17.0 SATA controller: Intel Corporation Device 9dd3 (rev 30)
	Region 0: Memory at a1414000 (32-bit, non-prefetchable) [size=8K]
	Region 1: Memory at a141b000 (32-bit, non-prefetchable) [size=256]
	Region 5: Memory at a141a000 (32-bit, non-prefetchable) [size=2K]
	00:1a.0 SD Host controller: Intel Corporation Device 9dc4 (rev 30)
	Region 0: Memory at a1419000 (64-bit, non-prefetchable) [size=4K]
	00:1c.0 PCI bridge: Intel Corporation Device 9db8 (rev f0)
	00:1c.4 PCI bridge: Intel Corporation Device 9dbc (rev f0)
	00:1d.0 PCI bridge: Intel Corporation Device 9db0 (rev f0)
	00:1d.1 PCI bridge: Intel Corporation Device 9db1 (rev f0)
	00:1f.0 ISA bridge: Intel Corporation Device 9d84 (rev 30)
	00:1f.3 Audio device: Intel Corporation Device 9dc8 (rev 30)
	Region 0: Memory at a1410000 (64-bit, non-prefetchable) [size=16K]
	Region 4: Memory at a1000000 (64-bit, non-prefetchable) [size=1M]
	00:1f.4 SMBus: Intel Corporation Device 9da3 (rev 30)
	Region 0: Memory at a1418000 (64-bit, non-prefetchable) [size=256]
	00:1f.5 Serial bus controller [0c80]: Intel Corporation Device 9da4 (rev 30)
	Region 0: Memory at fe010000 (32-bit, non-prefetchable) [size=4K]
	02:00.0 Non-Volatile memory controller: Silicon Motion, Inc. Device 2263 (rev 03)
	Region 0: Memory at a1300000 (64-bit, non-prefetchable) [size=16K]
	03:00.0 Ethernet controller: Intel Corporation I210 Gigabit Network Connection (rev 03)
	Region 0: Memory at a1200000 (32-bit, non-prefetchable) [size=128K]
	Region 3: Memory at a1220000 (32-bit, non-prefetchable) [size=16K]
	04:00.0 Ethernet controller: Intel Corporation I210 Gigabit Network Connection (rev 03)
	Region 0: Memory at a1100000 (32-bit, non-prefetchable) [size=128K]
	Region 3: Memory at a1120000 (32-bit, non-prefetchable) [size=16K]
	</PCI_DEVICE>

	<PCI_VID_PID>
	00:00.0 0600: 8086:3e34 (rev 0b)
	00:02.0 0300: 8086:3ea0
	00:12.0 1180: 8086:9df9 (rev 30)
	00:14.0 0c03: 8086:9ded (rev 30)
	00:14.2 0500: 8086:9def (rev 30)
	00:16.0 0780: 8086:9de0 (rev 30)
	00:17.0 0106: 8086:9dd3 (rev 30)
	00:1a.0 0805: 8086:9dc4 (rev 30)
	00:1c.0 0604: 8086:9db8 (rev f0)
	00:1c.4 0604: 8086:9dbc (rev f0)
	00:1d.0 0604: 8086:9db0 (rev f0)
	00:1d.1 0604: 8086:9db1 (rev f0)
	00:1f.0 0601: 8086:9d84 (rev 30)
	00:1f.3 0403: 8086:9dc8 (rev 30)
	00:1f.4 0c05: 8086:9da3 (rev 30)
	00:1f.5 0c80: 8086:9da4 (rev 30)
	02:00.0 0108: 126f:2263 (rev 03)
	03:00.0 0200: 8086:157b (rev 03)
	04:00.0 0200: 8086:157b (rev 03)
	</PCI_VID_PID>

	<WAKE_VECTOR_INFO>
	#define WAKE_VECTOR_32          0x8C8AA08CUL
	#define WAKE_VECTOR_64          0x8C8AA098UL
	</WAKE_VECTOR_INFO>

	<RESET_REGISTER_INFO>
	#define RESET_REGISTER_ADDRESS  0xCF9UL
	#define RESET_REGISTER_SPACE_ID SPACE_SYSTEM_IO
	#define RESET_REGISTER_VALUE    0x6U
	</RESET_REGISTER_INFO>

	<PM_INFO>
	#define PM1A_EVT_SPACE_ID       SPACE_SYSTEM_IO
	#define PM1A_EVT_BIT_WIDTH      0x20U
	#define PM1A_EVT_BIT_OFFSET     0x0U
	#define PM1A_EVT_ADDRESS        0x1800UL
	#define PM1A_EVT_ACCESS_SIZE    0x2U
	#define PM1B_EVT_SPACE_ID       SPACE_SYSTEM_IO
	#define PM1B_EVT_BIT_WIDTH      0x0U
	#define PM1B_EVT_BIT_OFFSET     0x0U
	#define PM1B_EVT_ADDRESS        0x0UL
	#define PM1B_EVT_ACCESS_SIZE    0x2U
	#define PM1A_CNT_SPACE_ID       SPACE_SYSTEM_IO
	#define PM1A_CNT_BIT_WIDTH      0x10U
	#define PM1A_CNT_BIT_OFFSET     0x0U
	#define PM1A_CNT_ADDRESS        0x1804UL
	#define PM1A_CNT_ACCESS_SIZE    0x2U
	#define PM1B_CNT_SPACE_ID       SPACE_SYSTEM_IO
	#define PM1B_CNT_BIT_WIDTH      0x0U
	#define PM1B_CNT_BIT_OFFSET     0x0U
	#define PM1B_CNT_ADDRESS        0x0UL
	#define PM1B_CNT_ACCESS_SIZE    0x2U
	</PM_INFO>

	<S3_INFO>
	/* S3 is not supported by BIOS */
	#define S3_PKG_VAL_PM1A         0x0U
	#define S3_PKG_VAL_PM1B         0x0U
	#define S3_PKG_RESERVED         0x0U
	</S3_INFO>

	<S5_INFO>
	#define S5_PKG_VAL_PM1A         0x7U
	#define S5_PKG_VAL_PM1B         0U
	#define S5_PKG_RESERVED         0x0U
	</S5_INFO>

	<DRHD_INFO>
	#define DRHD_COUNT              2U

	#define DRHD0_DEV_CNT           0x1U
	#define DRHD0_SEGMENT           0x0U
	#define DRHD0_FLAGS             0x0U
	#define DRHD0_REG_BASE          0xFED90000UL
	#define DRHD0_IGNORE            true
	#define DRHD0_DEVSCOPE0_TYPE    0x1U
	#define DRHD0_DEVSCOPE0_ID      0x0U
	#define DRHD0_DEVSCOPE0_BUS     0x0U
	#define DRHD0_DEVSCOPE0_PATH    0x10U

	#define DRHD1_DEV_CNT           0x2U
	#define DRHD1_SEGMENT           0x0U
	#define DRHD1_FLAGS             0x1U
	#define DRHD1_REG_BASE          0xFED91000UL
	#define DRHD1_IGNORE            false
	#define DRHD1_DEVSCOPE0_TYPE    0x3U
	#define DRHD1_DEVSCOPE0_ID      0x2U
	#define DRHD1_DEVSCOPE0_BUS     0x0U
	#define DRHD1_DEVSCOPE0_PATH    0xf7U
	#define DRHD1_DEVSCOPE1_TYPE    0x4U
	#define DRHD1_DEVSCOPE1_ID      0x0U
	#define DRHD1_DEVSCOPE1_BUS     0x0U
	#define DRHD1_DEVSCOPE1_PATH    0xf6U

	</DRHD_INFO>

	<CPU_BRAND>
	"Intel(R) Core(TM) i7-8565U CPU @ 1.80GHz"
	</CPU_BRAND>

	<CX_INFO>
	{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x00UL}, 0x01U, 0x01U, 0x00U},	/* C1 */
	{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x33UL}, 0x02U, 0x97U, 0x00U},	/* C2 */
	{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x60UL}, 0x03U, 0x40AU, 0x00U},	/* C3 */
	</CX_INFO>

	<PX_INFO>
	{0x835UL, 0x00UL, 0x0AUL, 0x0AUL, 0x002E00UL, 0x002E00UL},	/* P0 */
	{0x834UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001500UL, 0x001500UL},	/* P1 */
	{0x7D0UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001400UL, 0x001400UL},	/* P2 */
	{0x76CUL, 0x00UL, 0x0AUL, 0x0AUL, 0x001300UL, 0x001300UL},	/* P3 */
	{0x708UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001200UL, 0x001200UL},	/* P4 */
	{0x6A4UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001100UL, 0x001100UL},	/* P5 */
	{0x640UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001000UL, 0x001000UL},	/* P6 */
	{0x5DCUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000F00UL, 0x000F00UL},	/* P7 */
	{0x578UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000E00UL, 0x000E00UL},	/* P8 */
	{0x514UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000D00UL, 0x000D00UL},	/* P9 */
	</PX_INFO>

	<MMCFG_BASE_INFO>
	/* PCI mmcfg base of MCFG */
	#define DEFAULT_PCI_MMCFG_BASE   0xe0000000UL
	</MMCFG_BASE_INFO>

	<CLOS_INFO>
	</CLOS_INFO>

	<IOMEM_INFO>
	00000000-00000fff : Reserved
	00001000-0005efff : System RAM
	0005f000-0005ffff : Reserved
	00060000-0009ffff : System RAM
	000a0000-000fffff : Reserved
	  000a0000-000bffff : PCI Bus 0000:00
	  000c0000-000cffff : Video ROM
	  000f0000-000fffff : System ROM
	00100000-3fffffff : System RAM
	40000000-403fffff : Reserved
	  40000000-403fffff : pnp 00:00
	40400000-80916017 : System RAM
	  78000000-79202390 : Kernel code
	  79400000-799f9fff : Kernel rodata
	  79a00000-79bed63f : Kernel data
	  79dd6000-7a9fffff : Kernel bss
	80916018-80926657 : System RAM
	80926658-80927017 : System RAM
	80927018-80937057 : System RAM
	80937058-84dcefff : System RAM
	84dcf000-84dcffff : ACPI Non-volatile Storage
	84dd0000-84dd0fff : Reserved
	84dd1000-8bfbefff : System RAM
	8bfbf000-8c420fff : Reserved
	8c421000-8c49dfff : ACPI Tables
	8c49e000-8c8aafff : ACPI Non-volatile Storage
	8c8ab000-8cefefff : Reserved
	8ceff000-8cefffff : System RAM
	8cf00000-8fffffff : Reserved
	  8e000000-8fffffff : Graphics Stolen Memory
	90000000-dfffffff : PCI Bus 0000:00
	  90000000-9fffffff : 0000:00:02.0
	  a0000000-a0ffffff : 0000:00:02.0
	  a1000000-a10fffff : 0000:00:1f.3
	    a1000000-a10fffff : ICH HD audio
	  a1100000-a11fffff : PCI Bus 0000:02
	    a1100000-a111ffff : 0000:02:00.0
	      a1100000-a111ffff : igb
	    a1120000-a1123fff : 0000:02:00.0
	      a1120000-a1123fff : igb
	  a1200000-a12fffff : PCI Bus 0000:01
	    a1200000-a121ffff : 0000:01:00.0
	      a1200000-a121ffff : igb
	    a1220000-a1223fff : 0000:01:00.0
	      a1220000-a1223fff : igb
	  a1300000-a130ffff : 0000:00:14.0
	    a1300000-a130ffff : xhci-hcd
	  a1310000-a1313fff : 0000:00:1f.3
	    a1310000-a1313fff : ICH HD audio
	  a1314000-a1315fff : 0000:00:17.0
	    a1314000-a1315fff : ahci
	  a1316000-a1317fff : 0000:00:14.2
	  a1318000-a13180ff : 0000:00:1f.4
	  a1319000-a1319fff : 0000:00:1a.0
	    a1319000-a1319fff : mmc0
	  a131a000-a131a7ff : 0000:00:17.0
	    a131a000-a131a7ff : ahci
	  a131b000-a131b0ff : 0000:00:17.0
	    a131b000-a131b0ff : ahci
	  a131c000-a131cfff : 0000:00:16.0
	    a131c000-a131cfff : mei_me
	  a131d000-a131dfff : 0000:00:14.2
	  a131e000-a131efff : 0000:00:12.0
	    a131e000-a131efff : Intel PCH thermal driver
	e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
	  e0000000-efffffff : Reserved
	    e0000000-efffffff : pnp 00:0d
	fc800000-fe7fffff : PCI Bus 0000:00
	  fd000000-fd69ffff : pnp 00:0e
	  fd6a0000-fd6affff : pnp 00:10
	  fd6b0000-fd6cffff : pnp 00:0e
	  fd6d0000-fd6dffff : pnp 00:10
	  fd6e0000-fd6effff : pnp 00:10
	  fd6f0000-fdffffff : pnp 00:0e
	  fe000000-fe010fff : Reserved
	    fe010000-fe010fff : 0000:00:1f.5
	  fe200000-fe7fffff : pnp 00:0e
	fec00000-fec00fff : Reserved
	  fec00000-fec003ff : IOAPIC 0
	fed00000-fed003ff : HPET 0
	  fed00000-fed003ff : PNP0103:00
	fed10000-fed17fff : pnp 00:0d
	fed18000-fed18fff : pnp 00:0d
	fed19000-fed19fff : pnp 00:0d
	fed20000-fed3ffff : pnp 00:0d
	fed45000-fed8ffff : pnp 00:0d
	fed90000-fed90fff : dmar0
	fed91000-fed91fff : dmar1
	fee00000-fee00fff : Local APIC
	  fee00000-fee00fff : Reserved
	ff000000-ffffffff : Reserved
	  ff000000-ffffffff : pnp 00:0e
	100000000-26dffffff : System RAM
	26e000000-26fffffff : RAM buffer
	</IOMEM_INFO>

	<BLOCK_DEVICE_INFO>
	/dev/nvme0n1p3: TYPE="ext4"
	/dev/sda3: TYPE="ext4"
	</BLOCK_DEVICE_INFO>

	<TTYS_INFO>
	seri:/dev/ttyS0 type:portio base:0x3F8 irq:4
	seri:/dev/ttyS1 type:portio base:0x2F8 irq:3
	seri:/dev/ttyS2 type:portio base:0x3E8 irq:7
	seri:/dev/ttyS3 type:portio base:0x2E8 irq:7
	</TTYS_INFO>

	<AVAILABLE_IRQ_INFO>
	6, 10, 11, 13, 14, 15
	</AVAILABLE_IRQ_INFO>

	<TOTAL_MEM_INFO>
	8105908 kB
	</TOTAL_MEM_INFO>

	<CPU_PROCESSOR_INFO>
	0, 1, 2, 3
	</CPU_PROCESSOR_INFO>

</acrn-config>