github/acrn-hypervisor
1
0
Fork 0
mirror of https://github.com/projectacrn/acrn-hypervisor.git synced 2025-04-28 11:43:56 +00:00
Code Issues Projects Releases Wiki Activity

acrn-config: update EHL CRB configs

Browse Source 
BIOS version: EHLSFWI1.R00.2224.A00.2005281500

Tracked-On: #4937
Signed-off-by: Shuo A Liu <shuo.a.liu@intel.com>
This commit is contained in:
Shuo A Liu 2020-06-11 20:15:50 +08:00 committed by wenlingz
parent dc7d99c05a
commit 7fa5a0055d
2 changed files with 170 additions and 149 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

317
misc/acrn-config/xmls/board-xmls/ehl-crb-b.xml
View File

@ -2,8 +2,8 @@
<BIOS_INFO>
BIOS Information
Vendor: Intel Corporation
Version: EHLSFWI1.R00.2115.A00.2003130949
Release Date: 03/13/2020
Version: EHLSFWI1.R00.2224.A00.2005281500
Release Date: 05/28/2020
</BIOS_INFO>
<BASE_BOARD_INFO>
@ -15,69 +15,76 @@
<PCI_DEVICE>
00:00.0 Host bridge: Intel Corporation Device 4532
00:02.0 VGA compatible controller: Intel Corporation Device 4551
00:02.0 VGA compatible controller: Intel Corporation Device 4571
Region 0: Memory at 82000000 (64-bit, non-prefetchable) [size=16M]
Region 2: Memory at 70000000 (64-bit, prefetchable) [size=256M]
00:08.0 System peripheral: Intel Corporation Device 4511
Region 0: Memory at 8335c000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 833a2000 (64-bit, non-prefetchable) [disabled] [size=4K]
00:10.0 Serial bus controller [0c80]: Intel Corporation Device 4b44
Region 0: Memory at 6fc02000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 833a3000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:10.1 Serial bus controller [0c80]: Intel Corporation Device 4b45
Region 0: Memory at 6fc03000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:12.0 Serial bus controller [0c80]: Intel Corporation Device 4b37
Region 0: Memory at 6fc04000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 833a4000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:13.0 Serial bus controller [0c80]: Intel Corporation Device 4b84
Region 0: Memory at 83398000 (64-bit, non-prefetchable) [disabled] [size=8K]
00:14.0 USB controller: Intel Corporation Device 4b7d
Region 0: Memory at 83340000 (64-bit, non-prefetchable) [size=64K]
Region 0: Memory at 83380000 (64-bit, non-prefetchable) [size=64K]
00:14.2 RAM memory: Intel Corporation Device 4b7f
Region 0: Memory at 83350000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 2: Memory at 83360000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 83390000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 2: Memory at 833a5000 (64-bit, non-prefetchable) [disabled] [size=4K]
00:15.0 Serial bus controller [0c80]: Intel Corporation Device 4b78
Region 0: Memory at 6fc05000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 833a6000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:15.2 Serial bus controller [0c80]: Intel Corporation Device 4b7a
Region 0: Memory at 6fc06000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 833a7000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:15.3 Serial bus controller [0c80]: Intel Corporation Device 4b7b
Region 0: Memory at 6fc07000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 833a8000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:16.0 Communication controller: Intel Corporation Device 4b70
Region 0: Memory at 83364000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 833a9000 (64-bit, non-prefetchable) [size=4K]
00:17.0 SATA controller: Intel Corporation Device 4b63
Region 0: Memory at 8335a000 (32-bit, non-prefetchable) [size=8K]
Region 1: Memory at 8336e000 (32-bit, non-prefetchable) [size=256]
Region 5: Memory at 8336d000 (32-bit, non-prefetchable) [size=2K]
Region 0: Memory at 833a0000 (32-bit, non-prefetchable) [size=8K]
Region 1: Memory at 833b3000 (32-bit, non-prefetchable) [size=256]
Region 5: Memory at 833b2000 (32-bit, non-prefetchable) [size=2K]
00:19.0 Serial bus controller [0c80]: Intel Corporation Device 4b4b
Region 0: Memory at 6fc08000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 833aa000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:19.2 Communication controller: Intel Corporation Device 4b4d
Region 0: Memory at 833ab000 (64-bit, non-prefetchable) [size=4K]
00:1a.0 SD Host controller: Intel Corporation Device 4b47
Region 0: Memory at 83366000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 833ac000 (64-bit, non-prefetchable) [size=4K]
00:1a.1 SD Host controller: Intel Corporation Device 4b48
Region 0: Memory at 83367000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 833ad000 (64-bit, non-prefetchable) [size=4K]
00:1a.3 Non-VGA unclassified device: Intel Corporation Device 4b4a
Region 0: Memory at 83300000 (64-bit, non-prefetchable) [disabled] [size=256K]
00:1b.0 Serial bus controller [0c80]: Intel Corporation Device 4bb9
Region 0: Memory at 8339a000 (64-bit, non-prefetchable) [size=8K]
00:1b.1 Serial bus controller [0c80]: Intel Corporation Device 4bba
Region 0: Memory at 8339c000 (64-bit, non-prefetchable) [size=8K]
00:1b.6 Serial bus controller [0c80]: Intel Corporation Device 4bbf
Region 0: Memory at 8339e000 (64-bit, non-prefetchable) [size=8K]
00:1d.0 System peripheral: Intel Corporation Device 4bb3
Region 0: Memory at 83000000 (64-bit, non-prefetchable) [size=2M]
Region 0: Memory at 83000000 (64-bit, non-prefetchable) [disabled] [size=2M]
00:1d.1 Ethernet controller: Intel Corporation Device 4ba0
Region 0: Memory at 83340000 (64-bit, non-prefetchable) [size=256K]
00:1e.0 Communication controller: Intel Corporation Device 4b28
Region 0: Memory at 6fc09000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:1e.2 Serial bus controller [0c80]: Intel Corporation Device 4b2a
Region 0: Memory at 6fc0a000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:1e.4 Ethernet controller: Intel Corporation Device 4b32
Region 0: Memory at 6fc00000 (64-bit, non-prefetchable) [disabled] [size=8K]
Region 2: Memory at 8336a000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 833ae000 (64-bit, non-prefetchable) [size=4K]
00:1e.1 Communication controller: Intel Corporation Device 4b29
Region 0: Memory at 833af000 (64-bit, non-prefetchable) [size=4K]
00:1f.0 ISA bridge: Intel Corporation Device 4b00
00:1f.3 Multimedia audio controller: Intel Corporation Device 4b58
Region 0: Memory at 83354000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 0: Memory at 83394000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 4: Memory at 83200000 (64-bit, non-prefetchable) [disabled] [size=1M]
00:1f.4 SMBus: Intel Corporation Device 4b23
Region 0: Memory at 8336b000 (64-bit, non-prefetchable) [size=256]
Region 0: Memory at 833b0000 (64-bit, non-prefetchable) [size=256]
00:1f.5 Serial bus controller [0c80]: Intel Corporation Device 4b24
Region 0: Memory at 6fc0b000 (32-bit, non-prefetchable) [size=4K]
Region 0: Memory at 833b1000 (32-bit, non-prefetchable) [size=4K]
Region 1: Memory at 80000000 (32-bit, non-prefetchable) [size=32M]
</PCI_DEVICE>
<PCI_VID_PID>
00:00.0 0600: 8086:4532
00:02.0 0300: 8086:4551
00:02.0 0300: 8086:4571
00:08.0 0880: 8086:4511
00:10.0 0c80: 8086:4b44
00:10.1 0c80: 8086:4b45
00:12.0 0c80: 8086:4b37
00:13.0 0c80: 8086:4b84
00:14.0 0c03: 8086:4b7d
00:14.2 0500: 8086:4b7f
00:15.0 0c80: 8086:4b78
@ -86,13 +93,17 @@
00:16.0 0780: 8086:4b70
00:17.0 0106: 8086:4b63
00:19.0 0c80: 8086:4b4b
00:19.2 0780: 8086:4b4d
00:1a.0 0805: 8086:4b47
00:1a.1 0805: 8086:4b48
00:1a.3 0000: 8086:4b4a
00:1b.0 0c80: 8086:4bb9
00:1b.1 0c80: 8086:4bba
00:1b.6 0c80: 8086:4bbf
00:1d.0 0880: 8086:4bb3
00:1d.1 0200: 8086:4ba0
00:1e.0 0780: 8086:4b28
00:1e.2 0c80: 8086:4b2a
00:1e.4 0200: 8086:4b32
00:1e.1 0780: 8086:4b29
00:1f.0 0601: 8086:4b00
00:1f.3 0401: 8086:4b58
00:1f.4 0c05: 8086:4b23
@ -100,8 +111,8 @@
</PCI_VID_PID>
<WAKE_VECTOR_INFO>
#define WAKE_VECTOR_32 0x66B9300CUL
#define WAKE_VECTOR_64 0x66B93018UL
#define WAKE_VECTOR_32 0x66B9700CUL
#define WAKE_VECTOR_64 0x66B97018UL
</WAKE_VECTOR_INFO>
<RESET_REGISTER_INFO>
@ -146,7 +157,7 @@
</S5_INFO>
<DRHD_INFO>
#define DRHD_COUNT 2U
#define DRHD_COUNT 3U
#define DRHD0_DEV_CNT 0x1U
#define DRHD0_SEGMENT 0x0U
@ -172,20 +183,39 @@
#define DRHD1_DEVSCOPE1_BUS 0x0U
#define DRHD1_DEVSCOPE1_PATH 0xf6U
#define DRHD2_DEV_CNT 0x3U
#define DRHD2_SEGMENT 0x0U
#define DRHD2_FLAGS 0x0U
#define DRHD2_REG_BASE 0x00UL
#define DRHD2_IGNORE false
#define DRHD2_DEVSCOPE0_TYPE 0x5U
#define DRHD2_DEVSCOPE0_ID 0x3U
#define DRHD2_DEVSCOPE0_BUS 0x0U
#define DRHD2_DEVSCOPE0_PATH 0xebU
#define DRHD2_DEVSCOPE1_TYPE 0x5U
#define DRHD2_DEVSCOPE1_ID 0x4U
#define DRHD2_DEVSCOPE1_BUS 0x0U
#define DRHD2_DEVSCOPE1_PATH 0xecU
#define DRHD2_DEVSCOPE2_TYPE 0x5U
#define DRHD2_DEVSCOPE2_ID 0x5U
#define DRHD2_DEVSCOPE2_BUS 0x0U
#define DRHD2_DEVSCOPE2_PATH 0xedU
</DRHD_INFO>
<CPU_BRAND>
"Genuine Intel(R) CPU 0000 @ 1.90GHz"
"Genuine Intel(R) CPU 0000 @ 1.50GHz"
</CPU_BRAND>
<CX_INFO>
{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x00UL}, 0x01U, 0x01U, 0x00U}, /* C1 */
{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x31UL}, 0x02U, 0x61U, 0x00U}, /* C2 */
{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x60UL}, 0x03U, 0x40AU, 0x00U}, /* C3 */
{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x31UL}, 0x02U, 0xFDU, 0x00U}, /* C2 */
{{SPACE_FFixedHW, 0x01U, 0x02U, 0x01U, 0x60UL}, 0x03U, 0x418U, 0x00U}, /* C3 */
</CX_INFO>
<PX_INFO>
/* Px data is not available */
{0x5DDUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000F00UL, 0x000F00UL}, /* P0 */
{0x5DCUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000F00UL, 0x000F00UL}, /* P1 */
</PX_INFO>
<MMCFG_BASE_INFO>
@ -207,98 +237,100 @@
000f0000-000fffff : System ROM
00100000-3fffffff : System RAM
40000000-403fffff : Reserved
40400000-61291fff : System RAM
61292000-6129afff : Reserved
6129b000-61b92fff : System RAM
61b93000-61b93fff : Reserved
61b94000-648a1fff : System RAM
648a2000-66b89fff : Reserved
66b8a000-66bd5fff : ACPI Non-volatile Storage
66bd6000-66c4efff : ACPI Tables
40400000-61646fff : System RAM
61647000-61647fff : Reserved
61648000-6485cfff : System RAM
6485d000-66b8bfff : Reserved
65043000-65052fff : pnp 00:03
66b8c000-66be5fff : ACPI Non-volatile Storage
66be6000-66c4efff : ACPI Tables
66c4f000-66c4ffff : System RAM
66c50000-6fbfffff : Reserved
6fc00000-bfffffff : PCI Bus 0000:00
6fc00000-6fc01fff : 0000:00:1e.4
6fc02000-6fc02fff : 0000:00:10.0
6fc02000-6fc021ff : lpss_dev
6fc02000-6fc021ff : i2c_designware.0
6fc02200-6fc022ff : lpss_priv
6fc03000-6fc03fff : 0000:00:10.1
6fc03000-6fc031ff : lpss_dev
6fc03000-6fc031ff : i2c_designware.1
6fc03200-6fc032ff : lpss_priv
6fc04000-6fc04fff : 0000:00:12.0
6fc04000-6fc041ff : lpss_dev
6fc04000-6fc041ff : pxa2xx-spi.2
6fc04200-6fc042ff : lpss_priv
6fc04800-6fc04fff : idma64.2
6fc04800-6fc04fff : idma64.2
6fc05000-6fc05fff : 0000:00:15.0
6fc05000-6fc051ff : lpss_dev
6fc05000-6fc051ff : i2c_designware.3
6fc05200-6fc052ff : lpss_priv
6fc05800-6fc05fff : idma64.3
6fc05800-6fc05fff : idma64.3
6fc06000-6fc06fff : 0000:00:15.2
6fc06000-6fc061ff : lpss_dev
6fc06000-6fc061ff : i2c_designware.4
6fc06200-6fc062ff : lpss_priv
6fc06800-6fc06fff : idma64.4
6fc06800-6fc06fff : idma64.4
6fc07000-6fc07fff : 0000:00:15.3
6fc07000-6fc071ff : lpss_dev
6fc07000-6fc071ff : i2c_designware.5
6fc07200-6fc072ff : lpss_priv
6fc07800-6fc07fff : idma64.5
6fc07800-6fc07fff : idma64.5
6fc08000-6fc08fff : 0000:00:19.0
6fc08000-6fc081ff : lpss_dev
6fc08000-6fc081ff : i2c_designware.6
6fc08200-6fc082ff : lpss_priv
6fc08800-6fc08fff : idma64.6
6fc08800-6fc08fff : idma64.6
6fc09000-6fc09fff : 0000:00:1e.0
6fc09000-6fc091ff : lpss_dev
6fc09000-6fc0901f : serial
6fc09200-6fc092ff : lpss_priv
6fc09800-6fc09fff : idma64.7
6fc09800-6fc09fff : idma64.7
6fc0a000-6fc0afff : 0000:00:1e.2
6fc0a000-6fc0a1ff : lpss_dev
6fc0a000-6fc0a1ff : pxa2xx-spi.8
6fc0a200-6fc0a2ff : lpss_priv
6fc0a800-6fc0afff : idma64.8
6fc0a800-6fc0afff : idma64.8
6fc0b000-6fc0bfff : 0000:00:1f.5
66c50000-6fffffff : Reserved
70000000-bfffffff : PCI Bus 0000:00
70000000-7fffffff : 0000:00:02.0
70000000-707e8fff : efifb
70000000-707e8fff : BOOTFB
80000000-81ffffff : 0000:00:1f.5
82000000-82ffffff : 0000:00:02.0
83000000-831fffff : 0000:00:1d.0
83000000-831fffff : intel_ish_ipc
83200000-832fffff : 0000:00:1f.3
83300000-8333ffff : 0000:00:1a.3
83340000-8334ffff : 0000:00:14.0
83340000-8334ffff : xhci-hcd
83350000-83353fff : 0000:00:14.2
83354000-83357fff : 0000:00:1f.3
83358200-83358203 : INTC1033:00
83358204-83358207 : INTC1033:00
8335a000-8335bfff : 0000:00:17.0
8335a000-8335bfff : ahci
8335c000-8335cfff : 0000:00:08.0
83360000-83360fff : 0000:00:14.2
83364000-83364fff : 0000:00:16.0
83364000-83364fff : mei_me
83366000-83366fff : 0000:00:1a.0
83366000-83366fff : mmc0
83367000-83367fff : 0000:00:1a.1
8336a000-8336afff : 0000:00:1e.4
8336b000-8336b0ff : 0000:00:1f.4
8336d000-8336d7ff : 0000:00:17.0
8336d000-8336d7ff : ahci
8336e000-8336e0ff : 0000:00:17.0
8336e000-8336e0ff : ahci
83340000-8337ffff : 0000:00:1d.1
83380000-8338ffff : 0000:00:14.0
83380000-8338ffff : xhci-hcd
83390000-83393fff : 0000:00:14.2
83394000-83397fff : 0000:00:1f.3
83398000-83399fff : 0000:00:13.0
8339a000-8339bfff : 0000:00:1b.0
8339a000-8339bfff : 0000:00:1b.0
8339c000-8339dfff : 0000:00:1b.1
8339c000-8339dfff : 0000:00:1b.1
8339e000-8339ffff : 0000:00:1b.6
8339e000-8339ffff : 0000:00:1b.6
833a0000-833a1fff : 0000:00:17.0
833a0000-833a1fff : ahci
833a2000-833a2fff : 0000:00:08.0
833a3000-833a3fff : 0000:00:10.0
833a3000-833a31ff : lpss_dev
833a3000-833a31ff : i2c_designware.0
833a3200-833a32ff : lpss_priv
833a4000-833a4fff : 0000:00:10.1
833a4000-833a41ff : lpss_dev
833a4000-833a41ff : i2c_designware.1
833a4200-833a42ff : lpss_priv
833a5000-833a5fff : 0000:00:14.2
833a6000-833a6fff : 0000:00:15.0
833a6000-833a61ff : lpss_dev
833a6000-833a61ff : i2c_designware.2
833a6200-833a62ff : lpss_priv
833a6800-833a6fff : idma64.2
833a6800-833a6fff : idma64.2
833a7000-833a7fff : 0000:00:15.2
833a7000-833a71ff : lpss_dev
833a7000-833a71ff : i2c_designware.3
833a7200-833a72ff : lpss_priv
833a7800-833a7fff : idma64.3
833a7800-833a7fff : idma64.3
833a8000-833a8fff : 0000:00:15.3
833a8000-833a81ff : lpss_dev
833a8000-833a81ff : i2c_designware.4
833a8200-833a82ff : lpss_priv
833a8800-833a8fff : idma64.4
833a8800-833a8fff : idma64.4
833a9000-833a9fff : 0000:00:16.0
833a9000-833a9fff : mei_me
833aa000-833aafff : 0000:00:19.0
833aa000-833aa1ff : lpss_dev
833aa000-833aa1ff : i2c_designware.5
833aa200-833aa2ff : lpss_priv
833aa800-833aafff : idma64.5
833aa800-833aafff : idma64.5
833ab000-833abfff : 0000:00:19.2
833ab000-833ab1ff : lpss_dev
833ab000-833ab01f : serial
833ab200-833ab2ff : lpss_priv
833ab800-833abfff : idma64.6
833ab800-833abfff : idma64.6
833ac000-833acfff : 0000:00:1a.0
833ac000-833acfff : mmc0
833ad000-833adfff : 0000:00:1a.1
833ae000-833aefff : 0000:00:1e.0
833ae000-833ae1ff : lpss_dev
833ae000-833ae01f : serial
833ae200-833ae2ff : lpss_priv
833ae800-833aefff : idma64.7
833ae800-833aefff : idma64.7
833af000-833affff : 0000:00:1e.1
833af000-833af1ff : lpss_dev
833af000-833af01f : serial
833af200-833af2ff : lpss_priv
833af800-833affff : idma64.8
833af800-833affff : idma64.8
833b0000-833b00ff : 0000:00:1f.4
833b1000-833b1fff : 0000:00:1f.5
833b2000-833b27ff : 0000:00:17.0
833b2000-833b27ff : ahci
833b3000-833b30ff : 0000:00:17.0
833b3000-833b30ff : ahci
c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
c0000000-cfffffff : pnp 00:03
fd000000-fd68ffff : pnp 00:04
@ -312,12 +344,6 @@
fe000000-fe01ffff : pnp 00:04
fe032000-fe032fff : pnp 00:02
fe033000-fe033fff : pnp 00:02
fe040000-fe040007 : serial
fe040008-fe040fff : pnp 00:06
fe041000-fe041fff : pnp 00:06
fe042000-fe042007 : pnp 00:08
fe042008-fe042fff : pnp 00:06
fe043000-fe043fff : pnp 00:06
fe200000-fe7fffff : pnp 00:04
fec00000-fec003ff : IOAPIC 0
fec80000-fecfffff : pnp 00:03
@ -325,32 +351,27 @@
fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
fed40000-fed44fff : INTC6001:00
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fed90000-fed93fff : pnp 00:03
feda0000-feda0fff : pnp 00:03
feda1000-feda1fff : pnp 00:03
fee00000-feefffff : pnp 00:03
fee00000-fee00fff : Local APIC
ff300000-ffffffff : Reserved
100000000-2903fffff : System RAM
16c000000-16d202390 : Kernel code
16d400000-16d9f9fff : Kernel rodata
16da00000-16dbed63f : Kernel data
16ddd6000-16e9fffff : Kernel bss
290400000-293ffffff : RAM buffer
100000000-28fffffff : System RAM
11c000000-11d0011c0 : Kernel code
11d0011c1-11d9b94ff : Kernel data
11db6b000-11e1fffff : Kernel bss
</IOMEM_INFO>
<BLOCK_DEVICE_INFO>
/dev/mmcblk0p3: TYPE="ext4"
/dev/sda3: TYPE="ext4"
/dev/mmcblk0p2: TYPE="ext4"
/dev/sdb2: TYPE="ext4"
/dev/sdb3: TYPE="ext4"
/dev/sdb4: TYPE="ext4"
</BLOCK_DEVICE_INFO>
<TTYS_INFO>
seri:/dev/ttyS0 type:mmio base:0xFE040000 irq:17
seri:/dev/ttyS1 type:mmio base:0x6FC09000 irq:16 bdf:"00:1e.0"
seri:/dev/ttyS0 type:mmio base:0x833AB000 irq:33 bdf:"00:19.2"
seri:/dev/ttyS1 type:mmio base:0x833AE000 irq:16 bdf:"00:1e.0"
seri:/dev/ttyS2 type:mmio base:0x833AF000 irq:17 bdf:"00:1e.1"
</TTYS_INFO>
<AVAILABLE_IRQ_INFO>
@ -358,7 +379,7 @@
</AVAILABLE_IRQ_INFO>
<TOTAL_MEM_INFO>
8018660 kB
7955388 kB
</TOTAL_MEM_INFO>
<CPU_PROCESSOR_INFO>

2
misc/acrn-config/xmls/config-xmls/ehl-crb-b/industry.xml
View File

@ -100,7 +100,7 @@
<pci_dev desc="pci device" />
</pci_devs>
<board_private>
<rootfs desc="rootfs for Linux kernel">/dev/sda3</rootfs>
<rootfs desc="rootfs for Linux kernel">/dev/mmcblk0p2</rootfs>
<bootargs desc="Specify kernel boot arguments">
rw rootwait console=tty0 consoleblank=0 no_timer_check quiet loglevel=3
i915.nuclear_pageflip=1