<acrn-config board="apl-up2-n3350">
	<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 Device 5a85 (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:5a85 (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          0x79CB108CUL
	#define WAKE_VECTOR_64          0x79CB1098UL
	</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) Celeron(R) CPU N3350 @ 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, 0x001800UL, 0x001800UL},	/* 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-0003efff : System RAM
	0003f000-0003ffff : Reserved
	00040000-0009dfff : System RAM
	0009e000-000fffff : Reserved
	  000f0000-000fffff : System ROM
	00100000-0fffffff : System RAM
	10000000-12150fff : Reserved
	12151000-70770017 : System RAM
	70770018-70780057 : System RAM
	70780058-77b30fff : System RAM
	77b31000-79c3afff : Reserved
	79c3b000-79c53fff : ACPI Tables
	79c54000-79cb3fff : ACPI Non-volatile Storage
	79cb4000-7a09cfff : Reserved
	7a09d000-7a40afff : System RAM
	7a40b000-7a40bfff : ACPI Non-volatile Storage
	7a40c000-7a425fff : Reserved
	7a426000-7a964fff : System RAM
	7a965000-7a966fff : Reserved
	7a967000-7affffff : System RAM
	7b000000-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-8fffffff : 0000:00:02.0
	  90000000-90ffffff : 0000:00:02.0
	  91000000-911fffff : 0000:00:15.1
	  91200000-912fffff : 0000:00:0e.0
	    91200000-912fffff : ICH HD audio
	  91300000-913fffff : PCI Bus 0000:03
	    91300000-91303fff : 0000:03:00.0
	    91304000-91304fff : 0000:03:00.0
	      91304000-91304fff : r8169
	  91400000-914fffff : PCI Bus 0000:02
	    91400000-91403fff : 0000:02:00.0
	    91404000-91404fff : 0000:02:00.0
	      91404000-91404fff : r8169
	  91500000-9150ffff : 0000:00:15.0
	    91500000-9150ffff : xhci-hcd
	      91508070-9150846f : intel_xhci_usb_sw
	  91510000-91513fff : 0000:00:0e.0
	    91510000-91513fff : ICH HD audio
	  91514000-91515fff : 0000:00:12.0
	    91514000-91515fff : ahci
	  91516000-915160ff : 0000:00:1f.1
	  91517000-91517fff : 0000:00:1e.0
	  91518000-91518fff : 0000:00:1e.0
	    91518000-91518fff : mmc1
	  91519000-91519fff : 0000:00:1c.0
	  9151a000-9151afff : 0000:00:1c.0
	    9151a000-9151afff : mmc0
	  9151b000-9151bfff : 0000:00:1a.0
	  9151c000-9151cfff : 0000:00:1a.0
	    9151c000-9151cfff : 0000:00:1a.0
	  9151d000-9151dfff : 0000:00:19.2
	  9151e000-9151efff : 0000:00:19.2
	    9151e000-9151e1ff : lpss_dev
	      9151e000-9151e1ff : lpss_dev
	    9151e200-9151e2ff : lpss_priv
	    9151e800-9151efff : idma64.12
	      9151e800-9151efff : idma64.12
	  9151f000-9151ffff : 0000:00:19.1
	  91520000-91520fff : 0000:00:19.1
	    91520000-915201ff : lpss_dev
	      91520000-915201ff : lpss_dev
	    91520200-915202ff : lpss_priv
	    91520800-91520fff : idma64.11
	      91520800-91520fff : idma64.11
	  91521000-91521fff : 0000:00:19.0
	  91522000-91522fff : 0000:00:19.0
	    91522000-915221ff : lpss_dev
	      91522000-915221ff : lpss_dev
	    91522200-915222ff : lpss_priv
	    91522800-91522fff : idma64.10
	      91522800-91522fff : idma64.10
	  91523000-91523fff : 0000:00:18.1
	  91524000-91524fff : 0000:00:18.1
	    91524000-915241ff : lpss_dev
	      91524000-9152401f : serial
	    91524200-915242ff : lpss_priv
	    91524800-91524fff : idma64.9
	      91524800-91524fff : idma64.9
	  91525000-91525fff : 0000:00:18.0
	  91526000-91526fff : 0000:00:18.0
	    91526000-915261ff : lpss_dev
	      91526000-9152601f : serial
	    91526200-915262ff : lpss_priv
	    91526800-91526fff : idma64.8
	      91526800-91526fff : idma64.8
	  91527000-91527fff : 0000:00:17.3
	  91528000-91528fff : 0000:00:17.3
	    91528000-915281ff : lpss_dev
	      91528000-915281ff : lpss_dev
	    91528200-915282ff : lpss_priv
	    91528800-91528fff : idma64.7
	      91528800-91528fff : idma64.7
	  91529000-91529fff : 0000:00:17.2
	  9152a000-9152afff : 0000:00:17.2
	    9152a000-9152a1ff : lpss_dev
	      9152a000-9152a1ff : lpss_dev
	    9152a200-9152a2ff : lpss_priv
	    9152a800-9152afff : idma64.6
	      9152a800-9152afff : idma64.6
	  9152b000-9152bfff : 0000:00:17.1
	  9152c000-9152cfff : 0000:00:17.1
	    9152c000-9152c1ff : lpss_dev
	      9152c000-9152c1ff : lpss_dev
	    9152c200-9152c2ff : lpss_priv
	    9152c800-9152cfff : idma64.5
	      9152c800-9152cfff : idma64.5
	  9152d000-9152dfff : 0000:00:17.0
	  9152e000-9152efff : 0000:00:17.0
	    9152e000-9152e1ff : lpss_dev
	      9152e000-9152e1ff : lpss_dev
	    9152e200-9152e2ff : lpss_priv
	    9152e800-9152efff : idma64.4
	      9152e800-9152efff : idma64.4
	  9152f000-9152ffff : 0000:00:16.3
	  91530000-91530fff : 0000:00:16.3
	    91530000-915301ff : lpss_dev
	      91530000-915301ff : lpss_dev
	    91530200-915302ff : lpss_priv
	    91530800-91530fff : idma64.3
	      91530800-91530fff : idma64.3
	  91531000-91531fff : 0000:00:16.2
	  91532000-91532fff : 0000:00:16.2
	    91532000-915321ff : lpss_dev
	      91532000-915321ff : lpss_dev
	    91532200-915322ff : lpss_priv
	    91532800-91532fff : idma64.2
	      91532800-91532fff : idma64.2
	  91533000-91533fff : 0000:00:16.1
	  91534000-91534fff : 0000:00:16.1
	    91534000-915341ff : lpss_dev
	      91534000-915341ff : lpss_dev
	    91534200-915342ff : lpss_priv
	    91534800-91534fff : idma64.1
	      91534800-91534fff : idma64.1
	  91535000-91535fff : 0000:00:16.0
	  91536000-91536fff : 0000:00:16.0
	    91536000-915361ff : lpss_dev
	      91536000-915361ff : lpss_dev
	    91536200-915362ff : lpss_priv
	    91536800-91536fff : idma64.0
	      91536800-91536fff : idma64.0
	  91537000-91537fff : 0000:00:15.1
	  91538000-915387ff : 0000:00:12.0
	    91538000-915387ff : ahci
	  91539000-915390ff : 0000:00:12.0
	    91539000-915390ff : ahci
	  9153c000-9153cfff : 0000:00:0f.0
	    9153c000-9153cfff : mei_me
	d0000000-d0ffffff : Reserved
	  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 : Reserved
	    e0000000-efffffff : PCI Bus 0000:00
	      e0000000-efffffff : pnp 00:01
	fe042000-fe044fff : Reserved
	fe900000-fe902fff : Reserved
	fea00000-feafffff : pnp 00:01
	fec00000-fec00fff : Reserved
	  fec00000-fec003ff : IOAPIC 0
	fed00000-fed003ff : HPET 0
	  fed00000-fed003ff : PNP0103:00
	fed01000-fed01fff : intel-spi
	  fed01000-fed01fff : Reserved
	    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
	fed64000-fed64fff : dmar0
	fed65000-fed65fff : dmar1
	fed80000-fedbffff : pnp 00:01
	fee00000-fee00fff : Local APIC
	  fee00000-fee00fff : Reserved
	ff000000-ffffffff : Reserved
	100000000-17fffffff : System RAM
	  179000000-17a005560 : Kernel code
	  17a005561-17a9c0f7f : Kernel data
	  17ab14000-17abfffff : Kernel bss
	</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>
	3937756 kB
	</TOTAL_MEM_INFO>

	<CPU_PROCESSOR_INFO>
	0, 1
	</CPU_PROCESSOR_INFO>

</acrn-config>