github/acrn-hypervisor
1
0
Fork 0
mirror of https://github.com/projectacrn/acrn-hypervisor.git synced 2025-08-22 18:06:46 +00:00
Code Issues Projects Releases Wiki Activity

acrn-config: update board xml for ehl-crb-b

Browse Source 
add tsn devices and the NVME device in the board xml

Tracked-On: #4831
Signed-off-by: Shuang Zheng <shuang.zheng@intel.com>
Reviewed-by: Binbin Wu <binbin.wu@intel.com>
This commit is contained in:
Shuang Zheng 2020-07-14 11:33:18 +08:00 committed by wenlingz
parent e677f9413b
commit 585c652f81
1 changed files with 153 additions and 128 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,63 +19,71 @@
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 833a2000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 834e4000 (64-bit, non-prefetchable) [disabled] [size=4K]
00:10.0 Serial bus controller [0c80]: Intel Corporation Device 4b44
Region 0: Memory at 833a3000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 83441000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:10.1 Serial bus controller [0c80]: Intel Corporation Device 4b45
Region 0: Memory at 833a4000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 83444000 (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]
Region 0: Memory at 834d8000 (64-bit, non-prefetchable) [disabled] [size=8K]
00:14.0 USB controller: Intel Corporation Device 4b7d
Region 0: Memory at 83380000 (64-bit, non-prefetchable) [size=64K]
Region 0: Memory at 834c0000 (64-bit, non-prefetchable) [size=64K]
00:14.2 RAM memory: Intel Corporation Device 4b7f
Region 0: Memory at 83390000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 2: Memory at 833a5000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 834d0000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 2: Memory at 834e7000 (64-bit, non-prefetchable) [disabled] [size=4K]
00:15.0 Serial bus controller [0c80]: Intel Corporation Device 4b78
Region 0: Memory at 833a6000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 83445000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:15.2 Serial bus controller [0c80]: Intel Corporation Device 4b7a
Region 0: Memory at 833a7000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 83446000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:15.3 Serial bus controller [0c80]: Intel Corporation Device 4b7b
Region 0: Memory at 833a8000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 83447000 (64-bit, non-prefetchable) [virtual] [size=4K]
00:16.0 Communication controller: Intel Corporation Device 4b70
Region 0: Memory at 833a9000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 834eb000 (64-bit, non-prefetchable) [size=4K]
00:17.0 SATA controller: Intel Corporation Device 4b63
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]
Region 0: Memory at 834e2000 (32-bit, non-prefetchable) [size=8K]
Region 1: Memory at 834f6000 (32-bit, non-prefetchable) [size=256]
Region 5: Memory at 834f5000 (32-bit, non-prefetchable) [size=2K]
00:19.0 Serial bus controller [0c80]: Intel Corporation Device 4b4b
Region 0: Memory at 833aa000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 83448000 (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]
Region 0: Memory at 83449000 (64-bit, non-prefetchable) [size=4K]
00:1a.0 SD Host controller: Intel Corporation Device 4b47
Region 0: Memory at 833ac000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 834ee000 (64-bit, non-prefetchable) [size=4K]
00:1a.1 SD Host controller: Intel Corporation Device 4b48
Region 0: Memory at 833ad000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 834ef000 (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]
Region 0: Memory at 83400000 (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]
Region 0: Memory at 834da000 (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]
Region 0: Memory at 834dc000 (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]
Region 0: Memory at 834de000 (64-bit, non-prefetchable) [size=8K]
00:1c.0 PCI bridge: Intel Corporation Device 4b38
00:1d.0 System peripheral: Intel Corporation Device 4bb3
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]
Region 0: Memory at 83500000 (64-bit, non-prefetchable) [disabled] [size=256K]
00:1d.2 Ethernet controller: Intel Corporation Device 4bb0
Region 0: Memory at 83480000 (64-bit, non-prefetchable) [disabled] [size=256K]
00:1e.0 Communication controller: Intel Corporation Device 4b28
Region 0: Memory at 833ae000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 8344a000 (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]
Region 0: Memory at 8344b000 (64-bit, non-prefetchable) [size=4K]
00:1e.4 Ethernet controller: Intel Corporation Device 4b32
Region 0: Memory at 83442000 (64-bit, non-prefetchable) [disabled] [size=8K]
Region 2: Memory at 834f2000 (64-bit, non-prefetchable) [disabled] [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 83394000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 4: Memory at 83200000 (64-bit, non-prefetchable) [disabled] [size=1M]
Region 0: Memory at 834d4000 (64-bit, non-prefetchable) [size=16K]
Region 4: Memory at 83200000 (64-bit, non-prefetchable) [size=1M]
00:1f.4 SMBus: Intel Corporation Device 4b23
Region 0: Memory at 833b0000 (64-bit, non-prefetchable) [size=256]
Region 0: Memory at 834f3000 (64-bit, non-prefetchable) [size=256]
00:1f.5 Serial bus controller [0c80]: Intel Corporation Device 4b24
Region 0: Memory at 833b1000 (32-bit, non-prefetchable) [size=4K]
Region 0: Memory at 8344c000 (32-bit, non-prefetchable) [size=4K]
Region 1: Memory at 80000000 (32-bit, non-prefetchable) [size=32M]
01:00.0 Non-Volatile memory controller: Silicon Motion, Inc. Device 2263 (rev 03)
Region 0: Memory at 83300000 (64-bit, non-prefetchable) [size=16K]
</PCI_DEVICE>
<PCI_VID_PID>
@ -100,19 +108,23 @@
00:1b.0 0c80: 8086:4bb9
00:1b.1 0c80: 8086:4bba
00:1b.6 0c80: 8086:4bbf
00:1c.0 0604: 8086:4b38
00:1d.0 0880: 8086:4bb3
00:1d.1 0200: 8086:4ba0
00:1d.2 0200: 8086:4bb0
00:1e.0 0780: 8086:4b28
00:1e.1 0780: 8086:4b29
00:1e.4 0200: 8086:4b32
00:1f.0 0601: 8086:4b00
00:1f.3 0401: 8086:4b58
00:1f.4 0c05: 8086:4b23
00:1f.5 0c80: 8086:4b24
01:00.0 0108: 126f:2263 (rev 03)
</PCI_VID_PID>
<WAKE_VECTOR_INFO>
#define WAKE_VECTOR_32 0x66B9700CUL
#define WAKE_VECTOR_64 0x66B97018UL
#define WAKE_VECTOR_32 0x66BB000CUL
#define WAKE_VECTOR_64 0x66BB0018UL
</WAKE_VECTOR_INFO>
<RESET_REGISTER_INFO>
@ -208,9 +220,9 @@
</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 */
{{SPACE_FFixedHW, 0x00U, 0x00U, 0x00U, 0x00UL}, 0x01U, 0x01U, 0x00U}, /* C1 */
{{SPACE_SYSTEM_IO, 0x08U, 0x00U, 0x00U, 0x1816UL}, 0x02U, 0xFDU, 0x00U}, /* C2 */
{{SPACE_SYSTEM_IO, 0x08U, 0x00U, 0x00U, 0x1819UL}, 0x03U, 0x418U, 0x00U}, /* C3 */
</CX_INFO>
<PX_INFO>
@ -237,100 +249,112 @@
000f0000-000fffff : System ROM
00100000-3fffffff : System RAM
40000000-403fffff : Reserved
40400000-61646fff : System RAM
61647000-61647fff : Reserved
61648000-6485cfff : System RAM
6485d000-66b8bfff : Reserved
40400000-6146bfff : System RAM
6146c000-6146cfff : Reserved
6146d000-6485cfff : System RAM
6485d000-648b9fff : Unknown E820 type
648ba000-66b8bfff : Reserved
65043000-65052fff : pnp 00:03
66b8c000-66be5fff : ACPI Non-volatile Storage
66be6000-66c4efff : ACPI Tables
66c4f000-66c4ffff : System RAM
66c50000-6fffffff : Reserved
6c000000-6fffffff : Graphics Stolen Memory
70000000-bfffffff : PCI Bus 0000:00
70000000-7fffffff : 0000:00:02.0
70000000-707e8fff : BOOTFB
80000000-81ffffff : 0000:00:1f.5
82000000-82ffffff : 0000:00:02.0
83000000-831fffff : 0000:00:1d.0
83200000-832fffff : 0000:00:1f.3
83300000-8333ffff : 0000:00:1a.3
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
83200000-832fffff : ICH HD audio
83300000-833fffff : PCI Bus 0000:01
83300000-83303fff : 0000:01:00.0
83300000-83303fff : nvme
83400000-8343ffff : 0000:00:1a.3
83440200-83440203 : INTC1033:01
83440204-83440207 : INTC1033:01
83441000-83441fff : 0000:00:10.0
83441000-834411ff : lpss_dev
83441000-834411ff : i2c_designware.0
83441200-834412ff : lpss_priv
83442000-83443fff : 0000:00:1e.4
83444000-83444fff : 0000:00:10.1
83444000-834441ff : lpss_dev
83444000-834441ff : i2c_designware.1
83444200-834442ff : lpss_priv
83445000-83445fff : 0000:00:15.0
83445000-834451ff : lpss_dev
83445000-834451ff : i2c_designware.2
83445200-834452ff : lpss_priv
83445800-83445fff : idma64.2
83445800-83445fff : idma64.2
83446000-83446fff : 0000:00:15.2
83446000-834461ff : lpss_dev
83446000-834461ff : i2c_designware.3
83446200-834462ff : lpss_priv
83446800-83446fff : idma64.3
83446800-83446fff : idma64.3
83447000-83447fff : 0000:00:15.3
83447000-834471ff : lpss_dev
83447000-834471ff : i2c_designware.4
83447200-834472ff : lpss_priv
83447800-83447fff : idma64.4
83447800-83447fff : idma64.4
83448000-83448fff : 0000:00:19.0
83448000-834481ff : lpss_dev
83448000-834481ff : i2c_designware.5
83448200-834482ff : lpss_priv
83448800-83448fff : idma64.5
83448800-83448fff : idma64.5
83449000-83449fff : 0000:00:19.2
83449000-834491ff : lpss_dev
83449000-8344901f : serial
83449200-834492ff : lpss_priv
83449800-83449fff : idma64.6
83449800-83449fff : idma64.6
8344a000-8344afff : 0000:00:1e.0
8344a000-8344a1ff : lpss_dev
8344a000-8344a01f : serial
8344a200-8344a2ff : lpss_priv
8344a800-8344afff : idma64.7
8344a800-8344afff : idma64.7
8344b000-8344bfff : 0000:00:1e.1
8344b000-8344b1ff : lpss_dev
8344b000-8344b01f : serial
8344b200-8344b2ff : lpss_priv
8344b800-8344bfff : idma64.8
8344b800-8344bfff : idma64.8
8344c000-8344cfff : 0000:00:1f.5
83480000-834bffff : 0000:00:1d.2
834c0000-834cffff : 0000:00:14.0
834c0000-834cffff : xhci-hcd
834d0000-834d3fff : 0000:00:14.2
834d4000-834d7fff : 0000:00:1f.3
834d4000-834d7fff : ICH HD audio
834d8000-834d9fff : 0000:00:13.0
834da000-834dbfff : 0000:00:1b.0
834da000-834dbfff : 0000:00:1b.0
834dc000-834ddfff : 0000:00:1b.1
834dc000-834ddfff : 0000:00:1b.1
834de000-834dffff : 0000:00:1b.6
834de000-834dffff : 0000:00:1b.6
834e0200-834e0203 : INTC1033:00
834e0204-834e0207 : INTC1033:00
834e2000-834e3fff : 0000:00:17.0
834e2000-834e3fff : ahci
834e4000-834e4fff : 0000:00:08.0
834e7000-834e7fff : 0000:00:14.2
834eb000-834ebfff : 0000:00:16.0
834ee000-834eefff : 0000:00:1a.0
834ee000-834eefff : mmc0
834ef000-834effff : 0000:00:1a.1
834f2000-834f2fff : 0000:00:1e.4
834f3000-834f30ff : 0000:00:1f.4
834f5000-834f57ff : 0000:00:17.0
834f5000-834f57ff : ahci
834f6000-834f60ff : 0000:00:17.0
834f6000-834f60ff : ahci
83500000-8353ffff : 0000:00:1d.1
c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
c0000000-cfffffff : pnp 00:03
fd000000-fd68ffff : pnp 00:04
@ -350,7 +374,7 @@
fed00000-fed003ff : HPET 0
fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
fed40000-fed44fff : INTC6001:00
fed20000-fed7ffff : pnp 00:03
fed90000-fed93fff : pnp 00:03
feda0000-feda0fff : pnp 00:03
feda1000-feda1fff : pnp 00:03
@ -358,20 +382,21 @@
fee00000-fee00fff : Local APIC
ff300000-ffffffff : Reserved
100000000-28fffffff : System RAM
11c000000-11d0011c0 : Kernel code
11d0011c1-11d9b94ff : Kernel data
11db6b000-11e1fffff : Kernel bss
178800000-1798010f0 : Kernel code
1798010f1-179f79dff : Kernel data
17a147000-17a3fffff : Kernel bss
</IOMEM_INFO>
<BLOCK_DEVICE_INFO>
/dev/mmcblk0p2: TYPE="ext4"
/dev/sdb2: TYPE="ext4"
/dev/nvme0n1p3: TYPE="ext4"
/dev/sda3: TYPE="ext4"
/dev/mmcblk0p3: TYPE="ext4"
</BLOCK_DEVICE_INFO>
<TTYS_INFO>
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"
seri:/dev/ttyS0 type:mmio base:0x83449000 irq:33 bdf:"00:19.2"
seri:/dev/ttyS1 type:mmio base:0x8344A000 irq:16 bdf:"00:1e.0"
seri:/dev/ttyS2 type:mmio base:0x8344B000 irq:17 bdf:"00:1e.1"
</TTYS_INFO>
<AVAILABLE_IRQ_INFO>
@ -379,7 +404,7 @@
</AVAILABLE_IRQ_INFO>
<TOTAL_MEM_INFO>
7955388 kB
7960904 kB
</TOTAL_MEM_INFO>
<CPU_PROCESSOR_INFO>
@ -387,7 +412,7 @@
</CPU_PROCESSOR_INFO>
<MAX_MSIX_TABLE_NUM>
32
16
</MAX_MSIX_TABLE_NUM>
</acrn-config>