<acrn-config board="apl-up2">
	<BIOS_INFO>
	BIOS Information
	Vendor: American Megatrends Inc.
	Version: UPA1AM46
	Release Date: 08/14/2019
	BIOS Revision: 5.12
	</BIOS_INFO>

	<BASE_BOARD_INFO>
	Base Board Information
	Manufacturer: AAEON
	Product Name: UP-APL01
	Version: V0.4
	</BASE_BOARD_INFO>

	<PCI_DEVICE>
	00:00.0 Host bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Host Bridge (rev 0b)
	00:02.0 VGA compatible controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Integrated Graphics Controller (rev 0b)
	Region 0: Memory at 90000000 (64-bit, non-prefetchable) [size=16M]
	Region 2: Memory at 80000000 (64-bit, prefetchable) [size=256M]
	00:0e.0 Multimedia audio controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Audio Cluster (rev 0b)
	Region 0: Memory at 91510000 (64-bit, non-prefetchable) [size=16K]
	Region 4: Memory at 91200000 (64-bit, non-prefetchable) [size=1M]
	00:0f.0 Communication controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Trusted Execution Engine (rev 0b)
	Region 0: Memory at 9153c000 (64-bit, non-prefetchable) [size=4K]
	00:12.0 SATA controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SATA AHCI Controller (rev 0b)
	Region 0: Memory at 91514000 (32-bit, non-prefetchable) [size=8K]
	Region 1: Memory at 91539000 (32-bit, non-prefetchable) [size=256]
	Region 5: Memory at 91538000 (32-bit, non-prefetchable) [size=2K]
	00:13.0 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #1 (rev fb)
	00:13.1 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #2 (rev fb)
	00:13.2 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #3 (rev fb)
	00:13.3 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #4 (rev fb)
	00:14.0 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port B #1 (rev fb)
	00:14.1 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port B #2 (rev fb)
	00:15.0 USB controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series USB xHCI (rev 0b)
	Region 0: Memory at 91500000 (64-bit, non-prefetchable) [size=64K]
	00:15.1 USB controller: Intel Corporation Device 5aaa (rev 0b)
	Region 0: Memory at 91000000 (64-bit, non-prefetchable) [disabled] [size=2M]
	Region 2: Memory at 91537000 (64-bit, non-prefetchable) [disabled] [size=4K]
	00:16.0 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #1 (rev 0b)
	Region 0: Memory at 91536000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91535000 (64-bit, non-prefetchable) [size=4K]
	00:16.1 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #2 (rev 0b)
	Region 0: Memory at 91534000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91533000 (64-bit, non-prefetchable) [size=4K]
	00:16.2 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #3 (rev 0b)
	Region 0: Memory at 91532000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91531000 (64-bit, non-prefetchable) [size=4K]
	00:16.3 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #4 (rev 0b)
	Region 0: Memory at 91530000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 9152f000 (64-bit, non-prefetchable) [size=4K]
	00:17.0 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #5 (rev 0b)
	Region 0: Memory at 9152e000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 9152d000 (64-bit, non-prefetchable) [size=4K]
	00:17.1 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #6 (rev 0b)
	Region 0: Memory at 9152c000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 9152b000 (64-bit, non-prefetchable) [size=4K]
	00:17.2 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #7 (rev 0b)
	Region 0: Memory at 9152a000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91529000 (64-bit, non-prefetchable) [size=4K]
	00:17.3 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series I2C Controller #8 (rev 0b)
	Region 0: Memory at 91528000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91527000 (64-bit, non-prefetchable) [size=4K]
	00:18.0 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series HSUART Controller #1 (rev 0b)
	Region 0: Memory at 91526000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91525000 (64-bit, non-prefetchable) [size=4K]
	00:18.1 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series HSUART Controller #2 (rev 0b)
	Region 0: Memory at 91524000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91523000 (64-bit, non-prefetchable) [size=4K]
	00:19.0 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SPI Controller #1 (rev 0b)
	Region 0: Memory at 91522000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91521000 (64-bit, non-prefetchable) [size=4K]
	00:19.1 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SPI Controller #2 (rev 0b)
	Region 0: Memory at 91520000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 9151f000 (64-bit, non-prefetchable) [size=4K]
	00:19.2 Signal processing controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SPI Controller #3 (rev 0b)
	Region 0: Memory at 9151e000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 9151d000 (64-bit, non-prefetchable) [size=4K]
	00:1a.0 Serial bus controller [0c80]: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PWM Pin Controller (rev 0b)
	Region 0: Memory at 9151c000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 9151b000 (64-bit, non-prefetchable) [size=4K]
	00:1c.0 SD Host controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series eMMC Controller (rev 0b)
	Region 0: Memory at 9151a000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91519000 (64-bit, non-prefetchable) [size=4K]
	00:1e.0 SD Host controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SDIO Controller (rev 0b)
	Region 0: Memory at 91518000 (64-bit, non-prefetchable) [size=4K]
	Region 2: Memory at 91517000 (64-bit, non-prefetchable) [size=4K]
	00:1f.0 ISA bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Low Pin Count Interface (rev 0b)
	00:1f.1 SMBus: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SMBus Controller (rev 0b)
	Region 0: Memory at 91516000 (64-bit, non-prefetchable) [size=256]
	02:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 0c)
	Region 2: Memory at 91404000 (64-bit, non-prefetchable) [size=4K]
	Region 4: Memory at 91400000 (64-bit, prefetchable) [size=16K]
	03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 0c)
	Region 2: Memory at 91304000 (64-bit, non-prefetchable) [size=4K]
	Region 4: Memory at 91300000 (64-bit, prefetchable) [size=16K]
	</PCI_DEVICE>

	<PCI_VID_PID>
	00:00.0 0600: 8086:5af0 (rev 0b)
	00:02.0 0300: 8086:5a84 (rev 0b)
	00:0e.0 0401: 8086:5a98 (rev 0b)
	00:0f.0 0780: 8086:5a9a (rev 0b)
	00:12.0 0106: 8086:5ae3 (rev 0b)
	00:13.0 0604: 8086:5ad8 (rev fb)
	00:13.1 0604: 8086:5ad9 (rev fb)
	00:13.2 0604: 8086:5ada (rev fb)
	00:13.3 0604: 8086:5adb (rev fb)
	00:14.0 0604: 8086:5ad6 (rev fb)
	00:14.1 0604: 8086:5ad7 (rev fb)
	00:15.0 0c03: 8086:5aa8 (rev 0b)
	00:15.1 0c03: 8086:5aaa (rev 0b)
	00:16.0 1180: 8086:5aac (rev 0b)
	00:16.1 1180: 8086:5aae (rev 0b)
	00:16.2 1180: 8086:5ab0 (rev 0b)
	00:16.3 1180: 8086:5ab2 (rev 0b)
	00:17.0 1180: 8086:5ab4 (rev 0b)
	00:17.1 1180: 8086:5ab6 (rev 0b)
	00:17.2 1180: 8086:5ab8 (rev 0b)
	00:17.3 1180: 8086:5aba (rev 0b)
	00:18.0 1180: 8086:5abc (rev 0b)
	00:18.1 1180: 8086:5abe (rev 0b)
	00:19.0 1180: 8086:5ac2 (rev 0b)
	00:19.1 1180: 8086:5ac4 (rev 0b)
	00:19.2 1180: 8086:5ac6 (rev 0b)
	00:1a.0 0c80: 8086:5ac8 (rev 0b)
	00:1c.0 0805: 8086:5acc (rev 0b)
	00:1e.0 0805: 8086:5ad0 (rev 0b)
	00:1f.0 0601: 8086:5ae8 (rev 0b)
	00:1f.1 0c05: 8086:5ad4 (rev 0b)
	02:00.0 0200: 10ec:8168 (rev 0c)
	03:00.0 0200: 10ec:8168 (rev 0c)
	</PCI_VID_PID>

	<WAKE_VECTOR_INFO>
	#define WAKE_VECTOR_32          0x79CA108CUL
	#define WAKE_VECTOR_64          0x79CA1098UL
	</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        0x400UL
	#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        0x404UL
	#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>
	#define S3_PKG_VAL_PM1A         0x5U
	#define S3_PKG_VAL_PM1B         0U
	#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          0xFED64000UL
	#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          0xFED65000UL
	#define DRHD1_IGNORE            false
	#define DRHD1_DEVSCOPE0_TYPE    0x3U
	#define DRHD1_DEVSCOPE0_ID      0x1U
	#define DRHD1_DEVSCOPE0_BUS     0xfaU
	#define DRHD1_DEVSCOPE0_PATH    0xf8U
	#define DRHD1_DEVSCOPE1_TYPE    0x4U
	#define DRHD1_DEVSCOPE1_ID      0x0U
	#define DRHD1_DEVSCOPE1_BUS     0x0U
	#define DRHD1_DEVSCOPE1_PATH    0xffU

	</DRHD_INFO>

	<CPU_BRAND>
	"Intel(R) Pentium(R) CPU N4200 @ 1.10GHz"
	</CPU_BRAND>

	<CX_INFO>
	{{SPACE_FFixedHW, 0x00U, 0x00U, 0x00U, 0x00UL}, 0x01U, 0x01U, 0x00U},	/* C1 */
	{{SPACE_SYSTEM_IO, 0x08U, 0x00U, 0x00U, 0x415UL}, 0x02U, 0x32U, 0x00U},	/* C2 */
	{{SPACE_SYSTEM_IO, 0x08U, 0x00U, 0x00U, 0x419UL}, 0x03U, 0x96U, 0x00U},	/* C3 */
	</CX_INFO>

	<PX_INFO>
	{0x44DUL, 0x00UL, 0x0AUL, 0x0AUL, 0x001900UL, 0x001900UL},	/* P0 */
	{0x44CUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000B00UL, 0x000B00UL},	/* P1 */
	{0x3E8UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000A00UL, 0x000A00UL},	/* P2 */
	{0x384UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000900UL, 0x000900UL},	/* P3 */
	{0x320UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000800UL, 0x000800UL},	/* P4 */
	</PX_INFO>

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

	<CLOS_INFO>
	rdt resources supported: L2
	rdt resource clos max: 4
	rdt resource mask max: '0xff'
	</CLOS_INFO>

	<IOMEM_INFO>
	00000000-00000fff : Reserved
	00001000-0009ffff : System RAM
	000a0000-000fffff : Reserved
	  000a0000-000bffff : PCI Bus 0000:00
	  000c0000-000dffff : PCI Bus 0000:00
	  000e0000-000fffff : PCI Bus 0000:00
	    000f0000-000fffff : System ROM
	00100000-0fffffff : System RAM
	10000000-12150fff : Reserved
	12151000-79703fff : System RAM
	  25000000-260031d0 : Kernel code
	  260031d1-269e8cbf : Kernel data
	  26c37000-26dfffff : Kernel bss
	79704000-7a003fff : Reserved
	7a004000-7a06bfff : ACPI Tables
	7a06c000-7a073fff : ACPI Non-volatile Storage
	7a074000-7fffffff : Reserved
	  7b800001-7bffffff : PCI Bus 0000:00
	  7c000001-7fffffff : PCI Bus 0000:00
	    7c000001-7ffffffe : Graphics Stolen Memory
	80000000-cfffffff : PCI Bus 0000:00
	  80000000-80ffffff : 0000:00:02.0
	  81000000-811fffff : dwc_usb3
	    81000000-811fffff : 0000:00:15.1
	      8100c100-811fffff : dwc_usb3
	  81200000-812fffff : PCI Bus 0000:03
	    81200000-81200fff : 0000:03:00.0
	      81200000-81200fff : r8169
	  81300000-813fffff : PCI Bus 0000:02
	    81300000-81300fff : 0000:02:00.0
	      81300000-81300fff : r8169
	  81400000-814fffff : 0000:00:0e.0
	  81500000-8150ffff : 0000:00:15.0
	    81500000-8150ffff : xhci-hcd
	      81508070-8150846f : intel_xhci_usb_sw
	  81510000-81517fff : 0000:00:00.1
	  81518000-8151bfff : 0000:00:0e.0
	  8151c000-8151dfff : 0000:00:12.0
	    8151c000-8151dfff : ahci
	  8151e000-8151ffff : 0000:00:11.0
	  81520000-815200ff : 0000:00:1f.1
	  81521000-81521fff : 0000:00:1e.0
	  81522000-81522fff : 0000:00:1e.0
	    81522000-81522fff : mmc1
	  81523000-81523fff : 0000:00:1c.0
	  81524000-81524fff : 0000:00:1c.0
	    81524000-81524fff : mmc0
	  81525000-81525fff : 0000:00:19.2
	  81526000-81526fff : 0000:00:19.2
	    81526000-815261ff : lpss_dev
	      81526000-815261ff : lpss_dev
	    81526200-815262ff : lpss_priv
	    81526800-81526fff : idma64.14
	      81526800-81526fff : idma64.14
	  81527000-81527fff : 0000:00:19.1
	  81528000-81528fff : 0000:00:19.1
	    81528000-815281ff : lpss_dev
	      81528000-815281ff : lpss_dev
	    81528200-815282ff : lpss_priv
	    81528800-81528fff : idma64.13
	      81528800-81528fff : idma64.13
	  81529000-81529fff : 0000:00:19.0
	  8152a000-8152afff : 0000:00:19.0
	    8152a000-8152a1ff : lpss_dev
	      8152a000-8152a1ff : lpss_dev
	    8152a200-8152a2ff : lpss_priv
	    8152a800-8152afff : idma64.12
	      8152a800-8152afff : idma64.12
	  8152f000-8152ffff : 0000:00:18.1
	  81530000-81530fff : 0000:00:18.1
	    81530000-815301ff : lpss_dev
	      81530000-8153001f : serial
	    81530200-815302ff : lpss_priv
	    81530800-81530fff : idma64.9
	      81530800-81530fff : idma64.9
	  81531000-81531fff : 0000:00:18.0
	  81532000-81532fff : 0000:00:18.0
	    81532000-815321ff : lpss_dev
	      81532000-8153201f : serial
	    81532200-815322ff : lpss_priv
	    81532800-81532fff : idma64.8
	      81532800-81532fff : idma64.8
	  81533000-81533fff : 0000:00:17.3
	  81534000-81534fff : 0000:00:17.3
	    81534000-815341ff : lpss_dev
	      81534000-815341ff : lpss_dev
	    81534200-815342ff : lpss_priv
	    81534800-81534fff : idma64.7
	      81534800-81534fff : idma64.7
	  81535000-81535fff : 0000:00:17.2
	  81536000-81536fff : 0000:00:17.2
	    81536000-815361ff : lpss_dev
	      81536000-815361ff : lpss_dev
	    81536200-815362ff : lpss_priv
	    81536800-81536fff : idma64.6
	      81536800-81536fff : idma64.6
	  81537000-81537fff : 0000:00:17.1
	  81538000-81538fff : 0000:00:17.1
	    81538000-815381ff : lpss_dev
	      81538000-815381ff : lpss_dev
	    81538200-815382ff : lpss_priv
	    81538800-81538fff : idma64.5
	      81538800-81538fff : idma64.5
	  81539000-81539fff : 0000:00:17.0
	  8153a000-8153afff : 0000:00:17.0
	    8153a000-8153a1ff : lpss_dev
	      8153a000-8153a1ff : lpss_dev
	    8153a200-8153a2ff : lpss_priv
	    8153a800-8153afff : idma64.4
	      8153a800-8153afff : idma64.4
	  8153b000-8153bfff : 0000:00:16.3
	  8153c000-8153cfff : 0000:00:16.3
	    8153c000-8153c1ff : lpss_dev
	      8153c000-8153c1ff : lpss_dev
	    8153c200-8153c2ff : lpss_priv
	    8153c800-8153cfff : idma64.3
	      8153c800-8153cfff : idma64.3
	  8153d000-8153dfff : 0000:00:16.2
	  8153e000-8153efff : 0000:00:16.2
	    8153e000-8153e1ff : lpss_dev
	      8153e000-8153e1ff : lpss_dev
	    8153e200-8153e2ff : lpss_priv
	    8153e800-8153efff : idma64.2
	      8153e800-8153efff : idma64.2
	  8153f000-8153ffff : 0000:00:16.1
	  81540000-81540fff : 0000:00:16.1
	    81540000-815401ff : lpss_dev
	      81540000-815401ff : lpss_dev
	    81540200-815402ff : lpss_priv
	    81540800-81540fff : idma64.1
	      81540800-81540fff : idma64.1
	  81541000-81541fff : 0000:00:16.0
	  81542000-81542fff : 0000:00:16.0
	    81542000-815421ff : lpss_dev
	      81542000-815421ff : lpss_dev
	    81542200-815422ff : lpss_priv
	    81542800-81542fff : idma64.0
	      81542800-81542fff : idma64.0
	  81543000-81543fff : 0000:00:15.1
	  81544000-815447ff : 0000:00:12.0
	    81544000-815447ff : ahci
	  81545000-815450ff : 0000:00:12.0
	    81545000-815450ff : ahci
	  81546000-81546fff : 0000:00:11.0
	  81547000-81547fff : 0000:00:0f.2
	  81548000-81548fff : 0000:00:0f.1
	  81549000-81549fff : 0000:00:0f.0
	    81549000-81549fff : mei_me
	  90000000-9fffffff : 0000:00:02.0
	  a0000000-a00fffff : PCI Bus 0000:03
	    a0000000-a0003fff : 0000:03:00.0
	  a0100000-a01fffff : PCI Bus 0000:02
	    a0100000-a0103fff : 0000:02:00.0
	d0c00000-d0c00653 : INT3452:03
	  d0c00000-d0c00653 : INT3452:03
	d0c40000-d0c40763 : INT3452:01
	  d0c40000-d0c40763 : INT3452:01
	d0c50000-d0c5076b : INT3452:00
	  d0c50000-d0c5076b : INT3452:00
	d0c70000-d0c70673 : INT3452:02
	  d0c70000-d0c70673 : INT3452:02
	e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
	  e0000000-efffffff : PCI Bus 0000:00
	    e0000000-efffffff : pnp 00:01
	fea00000-feafffff : pnp 00:01
	fec00000-fec003ff : IOAPIC 0
	fed00000-fed003ff : HPET 0
	  fed00000-fed003ff : PNP0103:00
	fed01000-fed01fff : intel-spi
	  fed01000-fed01fff : pnp 00:01
	fed03000-fed03fff : pnp 00:01
	fed06000-fed06fff : pnp 00:01
	fed08000-fed09fff : pnp 00:01
	fed1c000-fed1cfff : pnp 00:01
	fed40000-fed44fff : MSFT0101:00
	fed80000-fedbffff : pnp 00:01
	fee00000-feefffff : pnp 00:01
	  fee00000-fee00fff : Local APIC
	ff800000-ffffffff : Reserved
	100000000-27fffffff : System RAM
	</IOMEM_INFO>

	<BLOCK_DEVICE_INFO>
	/dev/sda3: TYPE="ext4"
	/dev/mmcblk0p1: TYPE="ext4"
	/dev/mmcblk0p3: TYPE="ext4"
	</BLOCK_DEVICE_INFO>

	<TTYS_INFO>
	seri:/dev/ttyS0 type:mmio base:0x91526000 irq:4 bdf:"00:18.0"
	seri:/dev/ttyS1 type:mmio base:0x91524000 irq:5 bdf:"00:18.1"
	</TTYS_INFO>

	<AVAILABLE_IRQ_INFO>
	3, 6, 7, 10, 11, 12, 13, 15
	</AVAILABLE_IRQ_INFO>

	<TOTAL_MEM_INFO>
	8066364 kB
	</TOTAL_MEM_INFO>

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

	<MAX_MSIX_TABLE_NUM>
	4
	</MAX_MSIX_TABLE_NUM>

</acrn-config>