Skip to content

Instantly share code, notes, and snippets.

@STashakkori

STashakkori/gist:fa1f9f18ad212b0368bb580e9ae39ce3

Created August 22, 2021 04:05
Show Gist options
  • Save STashakkori/fa1f9f18ad212b0368bb580e9ae39ce3 to your computer and use it in GitHub Desktop.
Save STashakkori/fa1f9f18ad212b0368bb580e9ae39ce3 to your computer and use it in GitHub Desktop.
Download ZIP
sina_board.xml
Raw
gistfile1.txt
<acrn-config board="sina_board">
<BIOS_INFO>
BIOS Information
Vendor: AMI
Version: F.10
Release Date: 04/15/2021
BIOS Revision: 15.10
</BIOS_INFO>
<BASE_BOARD_INFO>
Base Board Information
Manufacturer: HP
Product Name: 87FE
Version: 57.16
</BASE_BOARD_INFO>
<PCI_DEVICE>
Region 0: Memory at 6002000000 (64-bit, non-prefetchable) [size=16M]
Region 2: Memory at 4000000000 (64-bit, prefetchable) [size=256M]
Region 0: Memory at 0000004010000000 (64-bit, non-prefetchable)
Region 2: Memory at 0000004020000000 (64-bit, prefetchable)
Region 0: Memory at 6003200000 (64-bit, non-prefetchable) [size=128K]
Region 0: Memory at 6003241000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 6000000000 (64-bit, non-prefetchable) [size=32M]
Region 2: Memory at 82000000 (32-bit, non-prefetchable) [size=32M]
Region 4: Memory at 6003100000 (64-bit, non-prefetchable) [size=1M]
Region 0: Memory at 6003220000 (64-bit, non-prefetchable) [size=64K]
Region 0: Memory at 6003238000 (64-bit, non-prefetchable) [disabled] [size=16K]
Region 2: Memory at 6003240000 (64-bit, non-prefetchable) [disabled] [size=4K]
Region 0: Memory at 6003234000 (64-bit, non-prefetchable) [size=16K]
Region 0: Memory at 4017000000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 4017001000 (64-bit, non-prefetchable) [virtual] [size=4K]
Region 0: Memory at 600323d000 (64-bit, non-prefetchable) [size=4K]
Region 0: Memory at 6003230000 (64-bit, non-prefetchable) [size=16K]
Region 4: Memory at 6003000000 (64-bit, non-prefetchable) [size=1M]
Region 0: Memory at 600323c000 (64-bit, non-prefetchable) [size=256]
Region 0: Memory at 80400000 (32-bit, non-prefetchable) [size=4K]
Region 0: Memory at 82000000 (64-bit, non-prefetchable) [size=16K]
</PCI_DEVICE>
<PCI_VID_PID>
0000:00:00.0 0600: 8086:9a14 (rev 01)
0000:00:02.0 0300: 8086:9a49 (rev 01)
0000:00:04.0 1180: 8086:9a03 (rev 01)
0000:00:08.0 0880: 8086:9a11 (rev 01)
0000:00:0e.0 0104: 8086:9a0b
0000:00:14.0 0c03: 8086:a0ed (rev 20)
0000:00:14.2 0500: 8086:a0ef (rev 20)
0000:00:14.3 0280: 8086:a0f0 (rev 20)
0000:00:15.0 0c80: 8086:a0e8 (rev 20)
0000:00:15.1 0c80: 8086:a0e9 (rev 20)
0000:00:16.0 0780: 8086:a0e0 (rev 20)
0000:00:1d.0 0880: 8086:09ab
0000:00:1f.0 0601: 8086:a082 (rev 20)
0000:00:1f.3 0401: 8086:a0c8 (rev 20)
0000:00:1f.4 0c05: 8086:a0a3 (rev 20)
0000:00:1f.5 0c80: 8086:a0a4 (rev 20)
10000:e0:1d.0 0604: 8086:a0b0 (rev 20)
10000:e1:00.0 0108: 1c5c:1339
</PCI_VID_PID>
<WAKE_VECTOR_INFO>
#define WAKE_VECTOR_32 0x6D17200CUL
#define WAKE_VECTOR_64 0x6D172018UL
</WAKE_VECTOR_INFO>
<RESET_REGISTER_INFO>
#define RESET_REGISTER_ADDRESS 0xB2UL
#define RESET_REGISTER_SPACE_ID SPACE_SYSTEM_IO
#define RESET_REGISTER_VALUE 0xebU
</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>
</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 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 0x2U
#define DRHD1_SEGMENT 0x0U
#define DRHD1_FLAGS 0x1U
#define DRHD1_REG_BASE 0xFED91000UL
#define DRHD1_IGNORE false
#define DRHD1_DEVSCOPE0_TYPE 0x3U
#define DRHD1_DEVSCOPE0_ID 0x2U
#define DRHD1_DEVSCOPE0_BUS 0x0U
#define DRHD1_DEVSCOPE0_PATH 0xf7U
#define DRHD1_DEVSCOPE1_TYPE 0x4U
#define DRHD1_DEVSCOPE1_ID 0x0U
#define DRHD1_DEVSCOPE1_BUS 0x0U
#define DRHD1_DEVSCOPE1_PATH 0xf6U
</DRHD_INFO>
<CPU_BRAND>
"11th Gen Intel(R) Core(TM) i5-1135G7 @ 2.40GHz"
</CPU_BRAND>
<CX_INFO>
{{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>
{0x961UL, 0x00UL, 0x0AUL, 0x0AUL, 0x002A00UL, 0x002A00UL}, /* P0 */
{0x960UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001800UL, 0x001800UL}, /* P1 */
{0x8FCUL, 0x00UL, 0x0AUL, 0x0AUL, 0x001700UL, 0x001700UL}, /* P2 */
{0x834UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001500UL, 0x001500UL}, /* P3 */
{0x7D0UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001400UL, 0x001400UL}, /* P4 */
{0x708UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001200UL, 0x001200UL}, /* P5 */
{0x6A4UL, 0x00UL, 0x0AUL, 0x0AUL, 0x001100UL, 0x001100UL}, /* P6 */
{0x5DCUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000F00UL, 0x000F00UL}, /* P7 */
{0x578UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000E00UL, 0x000E00UL}, /* P8 */
{0x514UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000D00UL, 0x000D00UL}, /* P9 */
{0x44CUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000B00UL, 0x000B00UL}, /* P10 */
{0x384UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000900UL, 0x000900UL}, /* P11 */
{0x320UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000800UL, 0x000800UL}, /* P12 */
{0x2BCUL, 0x00UL, 0x0AUL, 0x0AUL, 0x000700UL, 0x000700UL}, /* P13 */
{0x1F4UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000500UL, 0x000500UL}, /* P14 */
{0x190UL, 0x00UL, 0x0AUL, 0x0AUL, 0x000400UL, 0x000400UL}, /* P15 */
</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
00000000-00000000 : PCI Bus 0000:00
000e8000-000effff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-67951fff : System RAM
35400000-362025f6 : Kernel code
36400000-36953fff : Kernel rodata
36a00000-36d657bf : Kernel data
37029000-375fffff : Kernel bss
67952000-67965fff : Reserved
67966000-68735fff : System RAM
68736000-68736fff : Reserved
68737000-68b3ffff : System RAM
68b40000-68b40fff : Reserved
68b41000-69eedfff : System RAM
69eee000-6cfedfff : Reserved
6cfee000-6d0b9fff : ACPI Tables
6d0ba000-6d175fff : ACPI Non-volatile Storage
6d176000-71efefff : Reserved
71eff000-71efffff : System RAM
71f00000-79ffffff : Reserved
7aa00000-7abfffff : Reserved
7b000000-803fffff : Reserved
7c800000-803fffff : Graphics Stolen Memory
80400000-bfffffff : PCI Bus 0000:00
80400000-80400fff : 0000:00:1f.5
82000000-83ffffff : 0000:00:0e.0
82000000-83ffffff : VMD MEMBAR1
82000000-820fffff : PCI Bus 10000:e1
82000000-82003fff : 10000:e1:00.0
82000000-82003fff : nvme
c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
c0000000-cfffffff : Reserved
fd000000-fd68ffff : pnp 00:05
fd690000-fd69ffff : INT34C5:00
fd690000-fd69ffff : INT34C5:00 INT34C5:00
fd6a0000-fd6affff : INT34C5:00
fd6a0000-fd6affff : INT34C5:00 INT34C5:00
fd6b0000-fd6cffff : pnp 00:05
fd6d0000-fd6dffff : INT34C5:00
fd6d0000-fd6dffff : INT34C5:00 INT34C5:00
fd6e0000-fd6effff : INT34C5:00
fd6e0000-fd6effff : INT34C5:00 INT34C5:00
fd6f0000-fdffffff : pnp 00:05
fe000000-fe010fff : Reserved
fe04c000-fe04ffff : pnp 00:05
fe050000-fe0affff : pnp 00:05
fe0d0000-fe0fffff : pnp 00:05
fe200000-fe7fffff : pnp 00:05
fec00000-fec00fff : Reserved
fec00000-fec003ff : IOAPIC 0
fed00000-fed00fff : Reserved
fed00000-fed003ff : HPET 0
fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
fed40000-fed44fff : MSFT0101:00
fed40000-fed44fff : MSFT0101:00
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
feda0000-feda0fff : pnp 00:04
feda1000-feda1fff : pnp 00:04
fedc0000-fedc7fff : pnp 00:04
fee00000-fee00fff : Local APIC
fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
ff000000-ffffffff : pnp 00:05
100000000-27fbfffff : System RAM
27fc00000-27fffffff : RAM buffer
4000000000-7fffffffff : PCI Bus 0000:00
4000000000-400fffffff : 0000:00:02.0
4010000000-4016ffffff : 0000:00:02.0
4017000000-4017000fff : 0000:00:15.0
4017000000-40170001ff : lpss_dev
4017000000-40170001ff : i2c_designware.0 lpss_dev
4017000200-40170002ff : lpss_priv
4017000800-4017000fff : idma64.0
4017000800-4017000fff : idma64.0 idma64.0
4017001000-4017001fff : 0000:00:15.1
4017001000-40170011ff : lpss_dev
4017001000-40170011ff : i2c_designware.1 lpss_dev
4017001200-40170012ff : lpss_priv
4017001800-4017001fff : idma64.1
4017001800-4017001fff : idma64.1 idma64.1
4020000000-40ffffffff : 0000:00:02.0
6000000000-6001ffffff : 0000:00:0e.0
6002000000-6002ffffff : 0000:00:02.0
6003000000-60030fffff : 0000:00:1f.3
6003000000-60030fffff : Audio DSP
6003100000-60031fffff : 0000:00:0e.0
6003102000-60031fffff : VMD MEMBAR2
6003200000-600321ffff : 0000:00:04.0
6003200000-600321ffff : proc_thermal
6003220000-600322ffff : 0000:00:14.0
6003220000-600322ffff : xhci-hcd
6003230000-6003233fff : 0000:00:1f.3
6003230000-6003233fff : Audio DSP
6003234000-6003237fff : 0000:00:14.3
6003234000-6003237fff : iwlwifi
6003238000-600323bfff : 0000:00:14.2
600323c000-600323c0ff : 0000:00:1f.4
600323d000-600323dfff : 0000:00:16.0
600323d000-600323dfff : mei_me
6003240000-6003240fff : 0000:00:14.2
6003241000-6003241fff : 0000:00:08.0
</IOMEM_INFO>
<BLOCK_DEVICE_INFO>
/dev/nvme0n1p2: TYPE=&quot;ext4&quot;
</BLOCK_DEVICE_INFO>
<TTYS_INFO>
</TTYS_INFO>
<AVAILABLE_IRQ_INFO>
3, 4, 5, 6, 7, 10, 11, 12, 13, 15
</AVAILABLE_IRQ_INFO>
<TOTAL_MEM_INFO>
7786616 kB
</TOTAL_MEM_INFO>
<CPU_PROCESSOR_INFO>
0, 1, 2, 3
</CPU_PROCESSOR_INFO>
<MAX_MSIX_TABLE_NUM>
32
</MAX_MSIX_TABLE_NUM>
</acrn-config>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment