<acrn-config board="tgl-rvp">
	<BIOS_INFO>
	BIOS Information
	Vendor: Intel Corporation
	Version: TGLIFUI1.R00.3333.A04.2009091208
	Release Date: 09/09/2020
	</BIOS_INFO>

	<BASE_BOARD_INFO>
	Base Board Information
	Manufacturer: Intel Corporation
	Product Name: TigerLake U DDR4 SODIMM RVP
	Version: 1
	</BASE_BOARD_INFO>

	<PCI_DEVICE>
	00:00.0 Host bridge: Intel Corporation Device 9a14 (rev 01)
	00:02.0 VGA compatible controller: Intel Corporation Device 9a49 (rev 01)
	Region 0: Memory at ab000000 (64-bit, non-prefetchable) [size=16M]
	Region 2: Memory at 80000000 (64-bit, prefetchable) [size=256M]
	Region 0: Memory at 00000000ad000000 (64-bit, non-prefetchable)
	Region 2: Memory at 0000000000000000 (64-bit, prefetchable)
	00:04.0 Signal processing controller: Intel Corporation Device 9a03 (rev 01)
	Region 0: Memory at ac580000 (64-bit, non-prefetchable) [disabled] [size=128K]
	00:06.0 PCI bridge: Intel Corporation Device 9a09 (rev 01)
	00:07.0 PCI bridge: Intel Corporation Device 9a23 (rev 01)
	00:07.1 PCI bridge: Intel Corporation Device 9a25 (rev 01)
	00:07.2 PCI bridge: Intel Corporation Device 9a27 (rev 01)
	00:07.3 PCI bridge: Intel Corporation Device 9a29 (rev 01)
	00:08.0 System peripheral: Intel Corporation Device 9a11 (rev 01)
	Region 0: Memory at ac600000 (64-bit, non-prefetchable) [disabled] [size=4K]
	00:0a.0 Signal processing controller: Intel Corporation Device 9a0d (rev 01)
	Region 0: Memory at ac5f0000 (64-bit, non-prefetchable) [size=32K]
	00:0d.0 USB controller: Intel Corporation Device 9a13 (rev 01)
	Region 0: Memory at ac5c0000 (64-bit, non-prefetchable) [size=64K]
	00:0d.1 USB controller: Intel Corporation Device 9a15 (rev 01)
	Region 0: Memory at ac000000 (64-bit, non-prefetchable) [disabled] [size=2M]
	Region 2: Memory at ac601000 (64-bit, non-prefetchable) [disabled] [size=4K]
	00:0d.2 USB controller: Intel Corporation Device 9a1b (rev 01)
	Region 0: Memory at ac500000 (64-bit, non-prefetchable) [size=256K]
	Region 2: Memory at ac602000 (64-bit, non-prefetchable) [size=4K]
	00:0d.3 USB controller: Intel Corporation Device 9a1d (rev 01)
	Region 0: Memory at ac540000 (64-bit, non-prefetchable) [size=256K]
	Region 2: Memory at ac603000 (64-bit, non-prefetchable) [size=4K]
	00:10.0 Serial bus controller [0c80]: Intel Corporation Device a0d8 (rev 20)
	Region 0: Memory at 3f800000 (64-bit, non-prefetchable) [size=4K]
	00:10.5 Host bridge: Intel Corporation Device a0af (rev 20)
	00:12.0 Serial controller: Intel Corporation Device a0fc (rev 20)
	Region 0: Memory at ac5d0000 (64-bit, non-prefetchable) [size=64K]
	00:14.0 USB controller: Intel Corporation Device a0ed (rev 20)
	Region 0: Memory at ac5e0000 (64-bit, non-prefetchable) [size=64K]
	00:14.1 USB controller: Intel Corporation Device a0ee (rev 20)
	Region 0: Memory at ac200000 (64-bit, non-prefetchable) [size=2M]
	Region 2: Memory at ac605000 (64-bit, non-prefetchable) [size=4K]
	00:14.2 RAM memory: Intel Corporation Device a0ef (rev 20)
	Region 0: Memory at ac5f8000 (64-bit, non-prefetchable) [disabled] [size=16K]
	Region 2: Memory at ac606000 (64-bit, non-prefetchable) [disabled] [size=4K]
	00:15.0 Serial bus controller [0c80]: Intel Corporation Device a0e8 (rev 20)
	Region 0: [virtual] Memory at 3f801000 (64-bit, non-prefetchable) [size=4K]
	00:15.1 Serial bus controller [0c80]: Intel Corporation Device a0e9 (rev 20)
	Region 0: [virtual] Memory at 3f802000 (64-bit, non-prefetchable) [size=4K]
	00:15.2 Serial bus controller [0c80]: Intel Corporation Device a0ea (rev 20)
	Region 0: [virtual] Memory at 3f803000 (64-bit, non-prefetchable) [size=4K]
	00:15.3 Serial bus controller [0c80]: Intel Corporation Device a0eb (rev 20)
	Region 0: [virtual] Memory at 3f804000 (64-bit, non-prefetchable) [size=4K]
	00:16.0 Communication controller: Intel Corporation Device a0e0 (rev 20)
	Region 0: Memory at ac60b000 (64-bit, non-prefetchable) [size=4K]
	00:17.0 SATA controller: Intel Corporation Device a0d3 (rev 20)
	Region 0: Memory at ac5fe000 (32-bit, non-prefetchable) [size=8K]
	Region 1: Memory at ac614000 (32-bit, non-prefetchable) [size=256]
	Region 5: Memory at ac613000 (32-bit, non-prefetchable) [size=2K]
	00:19.0 Serial bus controller [0c80]: Intel Corporation Device a0c5 (rev 20)
	Region 0: [virtual] Memory at 3f805000 (64-bit, non-prefetchable) [size=4K]
	00:19.1 Serial bus controller [0c80]: Intel Corporation Device a0c6 (rev 20)
	Region 0: [virtual] Memory at 3f806000 (64-bit, non-prefetchable) [size=4K]
	00:1e.0 Communication controller: Intel Corporation Device a0a8 (rev 20)
	Region 0: Memory at 3f807000 (64-bit, non-prefetchable) [size=4K]
	00:1e.3 Serial bus controller [0c80]: Intel Corporation Device a0ab (rev 20)
	Region 0: [virtual] Memory at 3f808000 (64-bit, non-prefetchable) [size=4K]
	00:1e.4 Ethernet controller: Intel Corporation Device a0ac (rev 20)
	Region 0: Memory at ac5fc000 (64-bit, non-prefetchable) [size=8K]
	Region 2: Memory at ac610000 (64-bit, non-prefetchable) [size=4K]
	00:1f.0 ISA bridge: Intel Corporation Device a088 (rev 20)
	00:1f.4 SMBus: Intel Corporation Device a0a3 (rev 20)
	Region 0: Memory at ac611000 (64-bit, non-prefetchable) [size=256]
	00:1f.5 Serial bus controller [0c80]: Intel Corporation Device a0a4 (rev 20)
	Region 0: Memory at 3f809000 (32-bit, non-prefetchable) [size=4K]
	00:1f.6 Ethernet controller: Intel Corporation Device 15fc (rev 20)
	Region 0: Memory at ac5a0000 (32-bit, non-prefetchable) [size=128K]
	01:00.0 Non-Volatile memory controller: Intel Corporation SSD Pro 7600p/760p/E 6100p Series (rev 03)
	Region 0: Memory at ac400000 (64-bit, non-prefetchable) [size=16K]
	</PCI_DEVICE>

	<PCI_VID_PID>
	00:00.0 0600: 8086:9a14 (rev 01)
	00:02.0 0300: 8086:9a49 (rev 01)
	00:04.0 1180: 8086:9a03 (rev 01)
	00:06.0 0604: 8086:9a09 (rev 01)
	00:07.0 0604: 8086:9a23 (rev 01)
	00:07.1 0604: 8086:9a25 (rev 01)
	00:07.2 0604: 8086:9a27 (rev 01)
	00:07.3 0604: 8086:9a29 (rev 01)
	00:08.0 0880: 8086:9a11 (rev 01)
	00:0a.0 1180: 8086:9a0d (rev 01)
	00:0d.0 0c03: 8086:9a13 (rev 01)
	00:0d.1 0c03: 8086:9a15 (rev 01)
	00:0d.2 0c03: 8086:9a1b (rev 01)
	00:0d.3 0c03: 8086:9a1d (rev 01)
	00:10.0 0c80: 8086:a0d8 (rev 20)
	00:10.5 0600: 8086:a0af (rev 20)
	00:12.0 0700: 8086:a0fc (rev 20)
	00:14.0 0c03: 8086:a0ed (rev 20)
	00:14.1 0c03: 8086:a0ee (rev 20)
	00:14.2 0500: 8086:a0ef (rev 20)
	00:15.0 0c80: 8086:a0e8 (rev 20)
	00:15.1 0c80: 8086:a0e9 (rev 20)
	00:15.2 0c80: 8086:a0ea (rev 20)
	00:15.3 0c80: 8086:a0eb (rev 20)
	00:16.0 0780: 8086:a0e0 (rev 20)
	00:17.0 0106: 8086:a0d3 (rev 20)
	00:19.0 0c80: 8086:a0c5 (rev 20)
	00:19.1 0c80: 8086:a0c6 (rev 20)
	00:1e.0 0780: 8086:a0a8 (rev 20)
	00:1e.3 0c80: 8086:a0ab (rev 20)
	00:1e.4 0200: 8086:a0ac (rev 20)
	00:1f.0 0601: 8086:a088 (rev 20)
	00:1f.4 0c05: 8086:a0a3 (rev 20)
	00:1f.5 0c80: 8086:a0a4 (rev 20)
	00:1f.6 0200: 8086:15fc (rev 20)
	01:00.0 0108: 8086:f1a6 (rev 03)
	</PCI_VID_PID>

	<WAKE_VECTOR_INFO>
	#define WAKE_VECTOR_32          0x36AE300CUL
	#define WAKE_VECTOR_64          0x36AE3018UL
	</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>
	#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              6U

	#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           0x1U
	#define DRHD1_SEGMENT           0x0U
	#define DRHD1_FLAGS             0x0U
	#define DRHD1_REG_BASE          0xFED84000UL
	#define DRHD1_IGNORE            false
	#define DRHD1_DEVSCOPE0_TYPE    0x2U
	#define DRHD1_DEVSCOPE0_ID      0x0U
	#define DRHD1_DEVSCOPE0_BUS     0x0U
	#define DRHD1_DEVSCOPE0_PATH    0x38U

	#define DRHD2_DEV_CNT           0x1U
	#define DRHD2_SEGMENT           0x0U
	#define DRHD2_FLAGS             0x0U
	#define DRHD2_REG_BASE          0xFED85000UL
	#define DRHD2_IGNORE            false
	#define DRHD2_DEVSCOPE0_TYPE    0x2U
	#define DRHD2_DEVSCOPE0_ID      0x0U
	#define DRHD2_DEVSCOPE0_BUS     0x0U
	#define DRHD2_DEVSCOPE0_PATH    0x39U

	#define DRHD3_DEV_CNT           0x1U
	#define DRHD3_SEGMENT           0x0U
	#define DRHD3_FLAGS             0x0U
	#define DRHD3_REG_BASE          0xFED86000UL
	#define DRHD3_IGNORE            false
	#define DRHD3_DEVSCOPE0_TYPE    0x2U
	#define DRHD3_DEVSCOPE0_ID      0x0U
	#define DRHD3_DEVSCOPE0_BUS     0x0U
	#define DRHD3_DEVSCOPE0_PATH    0x3aU

	#define DRHD4_DEV_CNT           0x1U
	#define DRHD4_SEGMENT           0x0U
	#define DRHD4_FLAGS             0x0U
	#define DRHD4_REG_BASE          0xFED87000UL
	#define DRHD4_IGNORE            false
	#define DRHD4_DEVSCOPE0_TYPE    0x2U
	#define DRHD4_DEVSCOPE0_ID      0x0U
	#define DRHD4_DEVSCOPE0_BUS     0x0U
	#define DRHD4_DEVSCOPE0_PATH    0x3bU

	#define DRHD5_DEV_CNT           0x2U
	#define DRHD5_SEGMENT           0x0U
	#define DRHD5_FLAGS             0x1U
	#define DRHD5_REG_BASE          0xFED91000UL
	#define DRHD5_IGNORE            false
	#define DRHD5_DEVSCOPE0_TYPE    0x3U
	#define DRHD5_DEVSCOPE0_ID      0x2U
	#define DRHD5_DEVSCOPE0_BUS     0x0U
	#define DRHD5_DEVSCOPE0_PATH    0xf7U
	#define DRHD5_DEVSCOPE1_TYPE    0x4U
	#define DRHD5_DEVSCOPE1_ID      0x0U
	#define DRHD5_DEVSCOPE1_BUS     0x0U
	#define DRHD5_DEVSCOPE1_PATH    0xf6U

	</DRHD_INFO>

	<CPU_BRAND>
	"11th Gen Intel(R) Core(TM) i7-1185GRE @ 2.80GHz"
	</CPU_BRAND>

	<CX_INFO>
	{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x00UL}, 0x01U, 0x01U, 0x00U},	/* C1 */
	{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x31UL}, 0x02U, 0xFDU, 0x00U},	/* C2 */
	{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x60UL}, 0x03U, 0x418U, 0x00U},	/* C3 */
	</CX_INFO>

	<PX_INFO>
        {0x1069UL, 0x00UL, 0x0AUL, 0x0AUL, 0x002C00UL, 0x002C00UL},     /* P0 */
        {0x1068UL, 0x00UL, 0x0AUL, 0x0AUL, 0x002A00UL, 0x002A00UL},     /* P1 */
        {0xFA0UL, 0x00UL, 0x0AUL, 0x0AUL, 0x002800UL, 0x002800UL},      /* P2 */
        {0xD48UL, 0x00UL, 0x0AUL, 0x0AUL, 0x002200UL, 0x002200UL},      /* P3 */
        {0xAF0UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001C00UL, 0x001C00UL},      /* P4 */
        {0xA8CUL, 0x00UL, 0x0AUL, 0x0AUL, 0x001B00UL, 0x001B00UL},      /* P5 */
        {0xA28UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001A00UL, 0x001A00UL},      /* P6 */
        {0x708UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001200UL, 0x001200UL},      /* P7 */
        {0x6A4UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001100UL, 0x001100UL},      /* P8 */
        {0x640UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001000UL, 0x001000UL},      /* P9 */
        {0x578UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000E00UL, 0x000E00UL},      /* P10 */
        {0x4B0UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000C00UL, 0x000C00UL},      /* P11 */
	</PX_INFO>

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

	<TPM_INFO>
	TPM2
	</TPM_INFO>

	<CLOS_INFO>
	rdt resources supported: L2
	rdt resource clos max: 8
	rdt resource mask max: '0xfffff'
	</CLOS_INFO>

	<IOMEM_INFO>
	00000000-00000fff : Reserved
	00001000-0009efff : System RAM
	0009f000-000fffff : Reserved
	  000a0000-000bffff : PCI Bus 0000:00
	  000f0000-000fffff : System ROM
	00100000-338bcfff : System RAM
	338bd000-36a90fff : Reserved
	  3393c618-3393c61b : wdat_wdt
	    3393c618-3393c61b : wdat_wdt
	36a91000-36b32fff : ACPI Non-volatile Storage
	  36adb000-36adbfff : USBC000:00
	36b33000-36bfefff : ACPI Tables
	36bff000-36bfffff : System RAM
	36c00000-3f7fffff : Reserved
	3f800000-bfffffff : PCI Bus 0000:00
	  3f800000-3f800fff : 0000:00:10.0
	    3f800000-3f8001ff : lpss_dev
	      3f800000-3f8001ff : i2c_designware.0
	    3f800200-3f8002ff : lpss_priv
	  3f801000-3f801fff : 0000:00:15.0
	    3f801000-3f8011ff : lpss_dev
	      3f801000-3f8011ff : i2c_designware.1
	    3f801200-3f8012ff : lpss_priv
	    3f801800-3f801fff : idma64.1
	      3f801800-3f801fff : idma64.1
	  3f802000-3f802fff : 0000:00:15.1
	    3f802000-3f8021ff : lpss_dev
	      3f802000-3f8021ff : i2c_designware.2
	    3f802200-3f8022ff : lpss_priv
	    3f802800-3f802fff : idma64.2
	      3f802800-3f802fff : idma64.2
	  3f803000-3f803fff : 0000:00:15.2
	    3f803000-3f8031ff : lpss_dev
	      3f803000-3f8031ff : i2c_designware.3
	    3f803200-3f8032ff : lpss_priv
	    3f803800-3f803fff : idma64.3
	      3f803800-3f803fff : idma64.3
	  3f804000-3f804fff : 0000:00:15.3
	    3f804000-3f8041ff : lpss_dev
	      3f804000-3f8041ff : i2c_designware.4
	    3f804200-3f8042ff : lpss_priv
	    3f804800-3f804fff : idma64.4
	      3f804800-3f804fff : idma64.4
	  3f805000-3f805fff : 0000:00:19.0
	    3f805000-3f8051ff : lpss_dev
	      3f805000-3f8051ff : i2c_designware.5
	    3f805200-3f8052ff : lpss_priv
	    3f805800-3f805fff : idma64.5
	      3f805800-3f805fff : idma64.5
	  3f806000-3f806fff : 0000:00:19.1
	    3f806000-3f8061ff : lpss_dev
	      3f806000-3f8061ff : i2c_designware.6
	    3f806200-3f8062ff : lpss_priv
	    3f806800-3f806fff : idma64.6
	      3f806800-3f806fff : idma64.6
	  3f807000-3f807fff : 0000:00:1e.0
	    3f807000-3f8071ff : lpss_dev
	      3f807000-3f80701f : serial
	    3f807200-3f8072ff : lpss_priv
	    3f807800-3f807fff : idma64.7
	      3f807800-3f807fff : idma64.7
	  3f808000-3f808fff : 0000:00:1e.3
	    3f808000-3f8081ff : lpss_dev
	      3f808000-3f8081ff : pxa2xx-spi.8
	    3f808200-3f8082ff : lpss_priv
	    3f808800-3f808fff : idma64.8
	      3f808800-3f808fff : idma64.8
	  3f809000-3f809fff : 0000:00:1f.5
	    3f809000-3f809fff : 0000:00:1f.5
	  3f900000-3fafffff : PCI Bus 0000:80
	  3fb00000-3fcfffff : PCI Bus 0000:80
	  3fd00000-3fefffff : PCI Bus 0000:56
	  40000000-5bffffff : PCI Bus 0000:02
	  5c000000-5c1fffff : PCI Bus 0000:56
	  60000000-7bffffff : PCI Bus 0000:2c
	  80000000-8fffffff : 0000:00:02.0
	    80000000-81fa3fff : efifb
	  90000000-9c1fffff : PCI Bus 0000:2c
	  9e000000-aa1fffff : PCI Bus 0000:02
	  ab000000-abffffff : 0000:00:02.0
	  ac000000-ac1fffff : 0000:00:0d.1
	  ac200000-ac3fffff : dwc_usb3
	    ac200000-ac3fffff : 0000:00:14.1
	      ac20c100-ac3fffff : dwc3.0.auto
	  ac400000-ac4fffff : PCI Bus 0000:01
	    ac400000-ac403fff : 0000:01:00.0
	      ac400000-ac403fff : nvme
	  ac500000-ac53ffff : 0000:00:0d.2
	  ac540000-ac57ffff : 0000:00:0d.3
	  ac580000-ac59ffff : 0000:00:04.0
	  ac5a0000-ac5bffff : 0000:00:1f.6
	    ac5a0000-ac5bffff : e1000e
	  ac5c0000-ac5cffff : 0000:00:0d.0
	    ac5c0000-ac5cffff : xhci-hcd
	  ac5d0000-ac5dffff : 0000:00:12.0
	  ac5e0000-ac5effff : 0000:00:14.0
	    ac5e0000-ac5effff : xhci-hcd
	  ac5f0000-ac5f7fff : 0000:00:0a.0
	  ac5f8000-ac5fbfff : 0000:00:14.2
	  ac5fc000-ac5fdfff : 0000:00:1e.4
	    ac5fc000-ac5fdfff : 0000:00:1e.4
	  ac5fe000-ac5fffff : 0000:00:17.0
	    ac5fe000-ac5fffff : ahci
	  ac600000-ac600fff : 0000:00:08.0
	  ac601000-ac601fff : 0000:00:0d.1
	  ac602000-ac602fff : 0000:00:0d.2
	  ac603000-ac603fff : 0000:00:0d.3
	  ac605000-ac605fff : 0000:00:14.1
	  ac606000-ac606fff : 0000:00:14.2
	  ac60b000-ac60bfff : 0000:00:16.0
	    ac60b000-ac60bfff : mei_me
	  ac610000-ac610fff : 0000:00:1e.4
	  ac611000-ac6110ff : 0000:00:1f.4
	  ac613000-ac6137ff : 0000:00:17.0
	    ac613000-ac6137ff : ahci
	  ac614000-ac6140ff : 0000:00:17.0
	    ac614000-ac6140ff : ahci
	  ad000000-b3ffffff : 0000:00:02.0
	c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
	fd000000-fd68ffff : pnp 00:06
	fd690000-fd69ffff : INT34C5:00
	  fd690000-fd69ffff : INT34C5:00
	fd6a0000-fd6affff : INT34C5:00
	  fd6a0000-fd6affff : INT34C5:00
	fd6b0000-fd6cffff : pnp 00:06
	fd6d0000-fd6dffff : INT34C5:00
	  fd6d0000-fd6dffff : INT34C5:00
	fd6e0000-fd6effff : INT34C5:00
	  fd6e0000-fd6effff : INT34C5:00
	fd6f0000-fdffffff : pnp 00:06
	fe001210-fe001247 : INTC1023:00
	  fe001210-fe001247 : INTC1023:00
	fe001310-fe001347 : INTC1024:00
	  fe001310-fe001347 : INTC1024:00
	fe04c000-fe04ffff : pnp 00:06
	fe050000-fe0affff : pnp 00:06
	fe0d0000-fe0fffff : pnp 00:06
	fe200000-fe7fffff : pnp 00:06
	fec00000-fec003ff : IOAPIC 0
	fed00000-fed003ff : HPET 0
	  fed00000-fed003ff : PNP0103:00
	fed20000-fed7ffff : Reserved
	  fed40000-fed44fff : INTC6000:00
	    fed40000-fed44fff : INTC6000:00
	fed84000-fed84fff : dmar1
	fed85000-fed85fff : dmar2
	fed86000-fed86fff : dmar3
	fed87000-fed87fff : dmar4
	fed90000-fed90fff : dmar0
	fed91000-fed91fff : dmar5
	feda0000-feda0fff : pnp 00:05
	feda1000-feda1fff : pnp 00:05
	fedc0000-fedc7fff : pnp 00:05
	fee00000-feefffff : pnp 00:05
	  fee00000-fee00fff : Local APIC
	ff400000-ffffffff : Reserved
	100000000-4a07fffff : System RAM
	  29d800000-29e601190 : Kernel code
	  29e601191-29f1880ff : Kernel data
	  29fae7000-2a01fffff : Kernel bss
	4a0800000-4a3ffffff : 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/ttyS4 type:mmio base:0x3F807000 irq:16 bdf:"00:1e.0"
	</TTYS_INFO>

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

	<TOTAL_MEM_INFO>
	15677024 kB
	</TOTAL_MEM_INFO>

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

	<MAX_MSIX_TABLE_NUM>
	16
	</MAX_MSIX_TABLE_NUM>

</acrn-config>