diff --git a/debian/configs/nuc7i7dnh/nuc7i7dnh.xml b/debian/configs/nuc7i7dnh/nuc7i7dnh.xml new file mode 100644 index 000000000..accbc9ba1 --- /dev/null +++ b/debian/configs/nuc7i7dnh/nuc7i7dnh.xml @@ -0,0 +1,1006 @@ + + + BIOS Information + Vendor: Intel Corp. + Version: DNKBLi7v.86A.0066.2019.0710.1150 + Release Date: 07/10/2019 + BIOS Revision: 5.6 + + + Base Board Information + Manufacturer: Intel Corporation + Product Name: NUC7i7DNB + Version: J83500-206 + + + 00:00.0 Host bridge: Intel Corporation Xeon E3-1200 v6/7th Gen Core Processor Host Bridge/DRAM Registers (rev 08) + 00:02.0 VGA compatible controller: Intel Corporation UHD Graphics 620 (rev 07) + Region 0: Memory at de000000 (64-bit, non-prefetchable) [size=16M] + Region 2: Memory at a0000000 (64-bit, prefetchable) [size=512M] + 00:08.0 System peripheral: Intel Corporation Xeon E3-1200 v5/v6 / E3-1500 v5 / 6th/7th/8th Gen Core Processor Gaussian Mixture Model + Region 0: Memory at df152000 (64-bit, non-prefetchable) [disabled] [size=4K] + 00:14.0 USB controller: Intel Corporation Sunrise Point-LP USB 3.0 xHCI Controller (rev 21) + Region 0: Memory at df130000 (64-bit, non-prefetchable) [size=64K] + 00:14.2 Signal processing controller: Intel Corporation Sunrise Point-LP Thermal subsystem (rev 21) + Region 0: Memory at df151000 (64-bit, non-prefetchable) [size=4K] + 00:15.0 Signal processing controller: Intel Corporation Sunrise Point-LP Serial IO I2C Controller #0 (rev 21) + Region 0: Memory at df150000 (64-bit, non-prefetchable) [size=4K] + 00:15.1 Signal processing controller: Intel Corporation Sunrise Point-LP Serial IO I2C Controller #1 (rev 21) + Region 0: Memory at df14f000 (64-bit, non-prefetchable) [size=4K] + 00:16.0 Communication controller: Intel Corporation Sunrise Point-LP CSME HECI #1 (rev 21) + Region 0: Memory at df14e000 (64-bit, non-prefetchable) [size=4K] + 00:16.3 Serial controller: Intel Corporation Sunrise Point-LP Active Management Technology - SOL (rev 21) + Region 1: Memory at df14d000 (32-bit, non-prefetchable) [size=4K] + 00:17.0 SATA controller: Intel Corporation Sunrise Point-LP SATA Controller [AHCI mode] (rev 21) + Region 0: Memory at df148000 (32-bit, non-prefetchable) [size=8K] + Region 1: Memory at df14c000 (32-bit, non-prefetchable) [size=256] + Region 5: Memory at df14b000 (32-bit, non-prefetchable) [size=2K] + 00:1c.0 PCI bridge: Intel Corporation Sunrise Point-LP PCI Express Root Port #3 (rev f1) + 00:1f.0 ISA bridge: Intel Corporation Sunrise Point LPC Controller/eSPI Controller (rev 21) + 00:1f.2 Memory controller: Intel Corporation Sunrise Point-LP PMC (rev 21) + Region 0: Memory at df144000 (32-bit, non-prefetchable) [disabled] [size=16K] + 00:1f.3 Audio device: Intel Corporation Sunrise Point-LP HD Audio (rev 21) + Region 0: Memory at df140000 (64-bit, non-prefetchable) [size=16K] + Region 4: Memory at df120000 (64-bit, non-prefetchable) [size=64K] + 00:1f.4 SMBus: Intel Corporation Sunrise Point-LP SMBus (rev 21) + Region 0: Memory at df14a000 (64-bit, non-prefetchable) [size=256] + 00:1f.6 Ethernet controller: Intel Corporation Ethernet Connection I219-LM (rev 21) + Region 0: Memory at df100000 (32-bit, non-prefetchable) [size=128K] + 01:00.0 Network controller: Intel Corporation Wireless 8265 / 8275 (rev 78) + Region 0: Memory at df000000 (64-bit, non-prefetchable) [size=8K] + + + 00:00.0 0600: 8086:5914 (rev 08) + 00:02.0 0300: 8086:5917 (rev 07) + 00:08.0 0880: 8086:1911 + 00:14.0 0c03: 8086:9d2f (rev 21) + 00:14.2 1180: 8086:9d31 (rev 21) + 00:15.0 1180: 8086:9d60 (rev 21) + 00:15.1 1180: 8086:9d61 (rev 21) + 00:16.0 0780: 8086:9d3a (rev 21) + 00:16.3 0700: 8086:9d3d (rev 21) + 00:17.0 0106: 8086:9d03 (rev 21) + 00:1c.0 0604: 8086:9d12 (rev f1) + 00:1f.0 0601: 8086:9d4e (rev 21) + 00:1f.2 0580: 8086:9d21 (rev 21) + 00:1f.3 0403: 8086:9d71 (rev 21) + 00:1f.4 0c05: 8086:9d23 (rev 21) + 00:1f.6 0200: 8086:156f (rev 21) + 01:00.0 0280: 8086:24fd (rev 78) + + + #define WAKE_VECTOR_32 0x7A9F9F8CUL + #define WAKE_VECTOR_64 0x7A9F9F98UL + + + #define RESET_REGISTER_ADDRESS 0xCF9UL + #define RESET_REGISTER_SPACE_ID SPACE_SYSTEM_IO + #define RESET_REGISTER_VALUE 0x6U + + + #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 + + + #define S3_PKG_VAL_PM1A 0x5U + #define S3_PKG_VAL_PM1B 0U + #define S3_PKG_RESERVED 0x0U + + + #define S5_PKG_VAL_PM1A 0x7U + #define S5_PKG_VAL_PM1B 0U + #define S5_PKG_RESERVED 0x0U + + + #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 0xf0U + #define DRHD1_DEVSCOPE0_PATH 0xf8U + #define DRHD1_DEVSCOPE1_TYPE 0x4U + #define DRHD1_DEVSCOPE1_ID 0x0U + #define DRHD1_DEVSCOPE1_BUS 0x0U + #define DRHD1_DEVSCOPE1_PATH 0xf8U + + + + "Intel(R) Core(TM) i7-8650U CPU @ 1.90GHz" + + + /* Cx data is not available */ + + + /* Px data is not available */ + + + /* PCI mmcfg base of MCFG */ + #define DEFAULT_PCI_MMCFG_BASE 0xe0000000UL + + + TPM2 + + + + + 00000000-00000fff : Reserved + 00001000-00057fff : System RAM + 00058000-00058fff : Reserved + 00059000-0009dfff : System RAM + 0009e000-000fffff : Reserved + 000a0000-000bffff : PCI Bus 0000:00 + 000c0000-000c3fff : PCI Bus 0000:00 + 000c4000-000c7fff : PCI Bus 0000:00 + 000c8000-000cbfff : PCI Bus 0000:00 + 000cc000-000cffff : PCI Bus 0000:00 + 000d0000-000d3fff : PCI Bus 0000:00 + 000d4000-000d7fff : PCI Bus 0000:00 + 000d8000-000dbfff : PCI Bus 0000:00 + 000dc000-000dffff : PCI Bus 0000:00 + 000e0000-000e3fff : PCI Bus 0000:00 + 000e4000-000e7fff : PCI Bus 0000:00 + 000e8000-000ebfff : PCI Bus 0000:00 + 000ec000-000effff : PCI Bus 0000:00 + 000f0000-000fffff : System ROM + 00100000-3fffffff : System RAM + 40000000-403fffff : Reserved + 40000000-403fffff : pnp 00:00 + 40400000-71b6afff : System RAM + 71b6b000-71b6bfff : ACPI Non-volatile Storage + 71b6c000-71b6cfff : Reserved + 71b6d000-7674bfff : System RAM + 7674c000-767adfff : Reserved + 767ae000-76814fff : System RAM + 76815000-76817fff : Reserved + 76818000-7a48afff : System RAM + 7a48b000-7a94cfff : Reserved + 7a94d000-7a999fff : ACPI Tables + 7a99a000-7a9f9fff : ACPI Non-volatile Storage + 7a9fa000-7af2cfff : Reserved + 7af2d000-7affefff : Unknown E820 type + 7afff000-7affffff : System RAM + 7b000000-7fffffff : Reserved + 7c000000-7fffffff : Graphics Stolen Memory + 80000000-dfffffff : PCI Bus 0000:00 + a0000000-bfffffff : 0000:00:02.0 + de000000-deffffff : 0000:00:02.0 + df000000-df0fffff : PCI Bus 0000:01 + df000000-df001fff : 0000:01:00.0 + df000000-df001fff : iwlwifi + df100000-df11ffff : 0000:00:1f.6 + df100000-df11ffff : e1000e + df120000-df12ffff : 0000:00:1f.3 + df120000-df12ffff : ICH HD audio + df130000-df13ffff : 0000:00:14.0 + df130000-df13ffff : xhci-hcd + df138070-df13846f : intel_xhci_usb_sw + df140000-df143fff : 0000:00:1f.3 + df140000-df143fff : ICH HD audio + df144000-df147fff : 0000:00:1f.2 + df148000-df149fff : 0000:00:17.0 + df148000-df149fff : ahci + df14a000-df14a0ff : 0000:00:1f.4 + df14b000-df14b7ff : 0000:00:17.0 + df14b000-df14b7ff : ahci + df14c000-df14c0ff : 0000:00:17.0 + df14c000-df14c0ff : ahci + df14d000-df14dfff : 0000:00:16.3 + df14e000-df14efff : 0000:00:16.0 + df14e000-df14efff : mei_me + df14f000-df14ffff : 0000:00:15.1 + df14f000-df14f1ff : lpss_dev + df14f000-df14f1ff : i2c_designware.1 lpss_dev + df14f200-df14f2ff : lpss_priv + df14f800-df14ffff : idma64.1 + df14f800-df14ffff : idma64.1 idma64.1 + df150000-df150fff : 0000:00:15.0 + df150000-df1501ff : lpss_dev + df150000-df1501ff : i2c_designware.0 lpss_dev + df150200-df1502ff : lpss_priv + df150800-df150fff : idma64.0 + df150800-df150fff : idma64.0 idma64.0 + df151000-df151fff : 0000:00:14.2 + df151000-df151fff : Intel PCH thermal driver + df152000-df152fff : 0000:00:08.0 + dffe0000-dfffffff : pnp 00:06 + e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff] + e0000000-efffffff : Reserved + e0000000-efffffff : pnp 00:06 + fd000000-fe7fffff : PCI Bus 0000:00 + fd000000-fdabffff : pnp 00:07 + fdac0000-fdacffff : INT344B:00 + fdac0000-fdacffff : INT344B:00 INT344B:00 + fdad0000-fdadffff : pnp 00:07 + fdae0000-fdaeffff : INT344B:00 + fdae0000-fdaeffff : INT344B:00 INT344B:00 + fdaf0000-fdafffff : INT344B:00 + fdaf0000-fdafffff : INT344B:00 INT344B:00 + fdc6000c-fdc6000f : wdat_wdt + fdc6000c-fdc6000f : wdat_wdt wdat_wdt + fe000000-fe010fff : Reserved + fe028000-fe028fff : pnp 00:09 + fe029000-fe029fff : pnp 00:09 + fe036000-fe03bfff : pnp 00:07 + fe03d000-fe3fffff : pnp 00:07 + fe410000-fe7fffff : pnp 00:07 + fec00000-fec00fff : Reserved + fec00000-fec003ff : IOAPIC 0 + fed00000-fed00fff : Reserved + fed00000-fed003ff : HPET 0 + fed00000-fed003ff : PNP0103:00 + fed10000-fed17fff : pnp 00:06 + fed18000-fed18fff : pnp 00:06 + fed19000-fed19fff : pnp 00:06 + fed20000-fed3ffff : pnp 00:06 + fed40000-fed44fff : MSFT0101:00 + fed40000-fed44fff : MSFT0101:00 MSFT0101:00 + fed45000-fed8ffff : pnp 00:06 + fed90000-fed93fff : pnp 00:06 + fee00000-fee00fff : Local APIC + fee00000-fee00fff : Reserved + ff000000-ffffffff : Reserved + ff000000-ffffffff : INT0800:00 + ff000000-ffffffff : pnp 00:06 + 100000000-87dffffff : System RAM + 74b200000-74be01e76 : Kernel code + 74c000000-74c76ffff : Kernel rodata + 74c800000-74ca7b7ff : Kernel data + 74d04f000-74d1fffff : Kernel bss + 87e000000-87fffffff : RAM buffer + + + /dev/sda2: TYPE="ext4" + + + seri:/dev/ttyS0 type:portio base:0x3F8 irq:4 + seri:/dev/ttyS1 type:portio base:0xF0A0 irq:19 + + + 3, 5, 6, 7, 10, 11, 12, 13, 15 + + + 32754740 kB + + + 0, 1, 2, 3 + + + 1 + + + + 0x6 + 0x8e + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0x16 + 39 + 48 + + + + + 0 + 0x0 + 0x0 + 0x6 + 0x8e + 0xa + + + + + + + 1 + 0x2 + 0x2 + 0x6 + 0x8e + 0xa + + + + + + + 2 + 0x4 + 0x4 + 0x6 + 0x8e + 0xa + + + + + + + 3 + 0x6 + 0x6 + 0x6 + 0x8e + 0xa + + + + + + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x0 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x0 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x2 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x2 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x4 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x4 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x6 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x6 + + + + 262144 + 64 + 4 + 1024 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x0 + + + + 262144 + 64 + 4 + 1024 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x2 + + + + 262144 + 64 + 4 + 1024 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x4 + + + + 262144 + 64 + 4 + 1024 + 1 + 1 + 0 + 0 + 0 + 0 + + 0x6 + + + + 8388608 + 64 + 16 + 8192 + 1 + 1 + 0 + 0 + 1 + 1 + + 0x0 + 0x2 + 0x4 + 0x6 + + + + + + + + + + + + + + +
0xfec00000
+ 0x0 + 120 + + + + + 0x8086 + 0x5914 + 0x8086 + 0x2070 + 0x060000 + + + + + + + + + + + + + + + + + + 0x8086 + 0x5917 + 0x8086 + 0x2070 + 0x030000 + + + + + + + + 1 + + + + + + + + 0x8086 + 0x1911 + 0x8086 + 0x2070 + 0x088000 + + + + 1 + + + + + + 0x8086 + 0x9d2f + 0x8086 + 0x2070 + 0x0c0330 + + + + + 8 + + + + + + 0x8086 + 0x9d31 + 0x8086 + 0x2070 + 0x118000 + + + + + 1 + + + + 0x8086 + 0x9d60 + 0x8086 + 0x2070 + 0x118000 + + + + + + + 0x8086 + 0x9d61 + 0x8086 + 0x2070 + 0x118000 + + + + + + + 0x8086 + 0x9d3a + 0x8086 + 0x2070 + 0x078000 + + + + + 1 + + + + + 0x8086 + 0x9d3d + 0x8086 + 0x2070 + 0x070002 + + + + + 1 + + + + + + 0x8086 + 0x9d03 + 0x8086 + 0x2070 + 0x010601 + + + + + + + + + 1 + + + + + + 0x8086 + 0x9d12 + 0x060400 + + + + + 1 + + + + + + + + + + 0x8086 + 0x24fd + 0x8086 + 0x0010 + 0x028000 + + + + + 1 + + + + + + + + + + + + 0x8086 + 0x9d4e + 0x8086 + 0x2070 + 0x060100 + + + 0x8086 + 0x9d21 + 0x8086 + 0x2070 + 0x058000 + + + + 0x8086 + 0x9d71 + 0x8086 + 0x2070 + 0x040300 + + + + + + 1 + + + + + 0x8086 + 0x9d23 + 0x8086 + 0x2070 + 0x0c0500 + + + + + + 0x8086 + 0x156f + 0x8086 + 0x2070 + 0x020000 + + + + + 1 + + + + + + + + + + Sleep Button + PNP0C0E/button/input0 + + + Power Button + PNP0C0C/button/input0 + + + Power Button + LNXPWRBN/button/input0 + + + PC Speaker + isa0061/input0 + + + Video Bus + LNXVIDEO/video/input0 + + + HDA Intel PCH HDMI/DP,pcm=3 + ALSA + + + HDA Intel PCH HDMI/DP,pcm=7 + ALSA + + + HDA Intel PCH HDMI/DP,pcm=8 + ALSA + + + HDA Intel PCH HDMI/DP,pcm=9 + ALSA + + + HDA Intel PCH HDMI/DP,pcm=10 + ALSA + + + + + /dev/ttyS0 + 4 + + + /dev/ttyS1 + 4 + + + /dev/ttyS2 + 0 + + + /dev/ttyS3 + 0 + + + + diff --git a/debian/configs/nuc7i7dnh/shared+initrd.xml b/debian/configs/nuc7i7dnh/shared+initrd.xml new file mode 100644 index 000000000..cd875ed4e --- /dev/null +++ b/debian/configs/nuc7i7dnh/shared+initrd.xml @@ -0,0 +1,310 @@ + + + + debug + /dev/ttyS0 + 5 + 5 + 3 + + + y + SCHED_BVT + y + y + n + n + + n + y + n + + y + n + y + n + n + + + + 0x2000 + + + 16 + 1 + 96 + 120 + 256 + + 16 + + + 0x00000010 + + + + Connection_1 + legacy + + ACRN_Service_VM + 0x3F + + + POST_STD_VM1 + 0x3F + + + + Connection_2 + pci + + ACRN_Service_VM + 00:10.0 + + + POST_RT_VM1 + 00:10.0 + + + + + + SERVICE_VM + ACRN_Service_VM + + 0 + + + KERNEL_BZIMAGE + Linux_bzImage + Linux_initrd + + + COM Port 1 + + + POST_LAUNCHED_VM + STANDARD_VM + POST_STD_VM1 + + + 0 + + + 1 + + + + 0 + 0 + + + 4096 + + COM Port 1 + + 00:02.0 VGA compatible controller: Intel Corporation UHD Graphics 620 (rev 07) + + n + Windows OS + y + n + + + + + WaaG + + + ./win10-ltsc.img + + + + POST_LAUNCHED_VM + RTVM + POST_RT_VM1 + y + + + 2 + y + + + 3 + y + + + + 0 + 0 + + + 1024 + + COM Port 1 + n + Non-Windows OS + y + n + + + + Virtio console + stdio + + + RT + + + ./core-image-weston-intel-corei7-64.wic + + + + POST_LAUNCHED_VM + STANDARD_VM + POST_STD_VM2 + + + 0 + + + 1 + + + + 0 + 0 + + + 512 + + COM Port 1 + n + Non-Windows OS + y + n + + + + Virtio console + stdio + + + YaaG3 + + + ./YaaG.img + + + + POST_LAUNCHED_VM + STANDARD_VM + POST_STD_VM3 + + + 0 + + + 1 + + + + 0 + 0 + + + 512 + + COM Port 1 + n + Non-Windows OS + y + n + + + + Virtio console + stdio + + + YaaG4 + + + ./YaaG.img + + + + POST_LAUNCHED_VM + STANDARD_VM + POST_STD_VM4 + + + 0 + + + 1 + + + + 0 + 0 + + + 512 + + COM Port 1 + n + Non-Windows OS + y + n + + + + Virtio console + stdio + + + YaaG5 + + + ./YaaG.img + + + + POST_LAUNCHED_VM + STANDARD_VM + POST_STD_VM5 + + + 0 + + + 1 + + + + 0 + 0 + + + 512 + + COM Port 1 + n + Non-Windows OS + y + n + + + + Virtio console + stdio + + + YaaG6 + + + ./YaaG.img + + + diff --git a/debian/rules b/debian/rules index 14a1cc23a..0417925c4 100755 --- a/debian/rules +++ b/debian/rules @@ -13,8 +13,8 @@ export PYBUILD_DISABLE=test export MAKEFLAGS = --no-print-directory # set these variables to restrict build to certain boards/scenarios, e.g. -ACRN_BOARDLIST := whl-ipc-i5 nuc11tnbi5 cfl-k700-i7 tgl-vecow-spc-7100-Corei7 -ACRN_SCENARIOLIST := partitioned shared hybrid hybrid_rt +ACRN_BOARDLIST := whl-ipc-i5 nuc11tnbi5 cfl-k700-i7 tgl-vecow-spc-7100-Corei7 nuc7i7dnh +ACRN_SCENARIOLIST := partitioned shared hybrid hybrid_rt shared+initrd # alternatively, unset ACRN_BOARDLIST to build for all boards, # ACRN_SCENARIOLIST must be set explicitly: scenario configs must be located # in the same directory as the board config, since there are no board and