From f74b09f8c2a0396526df56c3795d40d72efa3b99 Mon Sep 17 00:00:00 2001 From: Helmut Buchsbaum Date: Fri, 29 Apr 2022 10:20:30 +0200 Subject: [PATCH] debian: Add kontron-COMe-mAL10/shared+initrd Just add an example for ApolloLake base board. The share+initrd scenario enables ramdisk_mod attribute as needed for grub-acrn package to work an be able to install e.f. on a standard Debian system. Tracked-On: #6688 Signed-off-by: Helmut Buchsbaum --- .../kontron-COMe-mAL10/kontron-COMe-mAL10.xml | 997 ++++++++++++++++++ .../kontron-COMe-mAL10/shared+initrd.xml | 310 ++++++ debian/rules | 2 +- 3 files changed, 1308 insertions(+), 1 deletion(-) create mode 100644 debian/configs/kontron-COMe-mAL10/kontron-COMe-mAL10.xml create mode 100644 debian/configs/kontron-COMe-mAL10/shared+initrd.xml diff --git a/debian/configs/kontron-COMe-mAL10/kontron-COMe-mAL10.xml b/debian/configs/kontron-COMe-mAL10/kontron-COMe-mAL10.xml new file mode 100644 index 000000000..3a20699e0 --- /dev/null +++ b/debian/configs/kontron-COMe-mAL10/kontron-COMe-mAL10.xml @@ -0,0 +1,997 @@ + + + BIOS Information + Vendor: Kontron Europe + Version: MAL1R113 + Release Date: 05/08/2019 + BIOS Revision: 5.12 + + + Base Board Information + Manufacturer: Kontron Europe GmbH + Product Name: COMe-mAL10 E2 + Version: 2.0.0 + + + 00:00.0 Host bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Host Bridge (rev 0b) + 00:02.0 VGA compatible controller: Intel Corporation HD Graphics 500 (rev 0b) + Region 0: Memory at 90000000 (64-bit, non-prefetchable) [size=16M] + Region 2: Memory at 80000000 (64-bit, prefetchable) [size=256M] + 00:0e.0 Audio device: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Audio Cluster (rev 0b) + Region 0: Memory at 91610000 (64-bit, non-prefetchable) [size=16K] + Region 4: Memory at 91000000 (64-bit, non-prefetchable) [size=1M] + 00:0f.0 Communication controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Trusted Execution Engine (rev 0b) + Region 0: Memory at 9161f000 (64-bit, non-prefetchable) [size=4K] + 00:12.0 SATA controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SATA AHCI Controller (rev 0b) + Region 0: Memory at 91614000 (32-bit, non-prefetchable) [size=8K] + Region 1: Memory at 9161c000 (32-bit, non-prefetchable) [size=256] + Region 5: Memory at 9161b000 (32-bit, non-prefetchable) [size=2K] + 00:13.0 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #1 (rev fb) + 00:13.1 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #2 (rev fb) + 00:13.2 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #3 (rev fb) + 00:13.3 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port A #4 (rev fb) + 00:14.0 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port B #1 (rev fb) + 00:14.1 PCI bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series PCI Express Port B #2 (rev fb) + 00:15.0 USB controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series USB xHCI (rev 0b) + Region 0: Memory at 91600000 (64-bit, non-prefetchable) [size=64K] + 00:1b.0 SD Host controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SDXC/MMC Host Controller (rev 0b) + Region 0: Memory at 9161a000 (64-bit, non-prefetchable) [size=4K] + Region 2: Memory at 91619000 (64-bit, non-prefetchable) [size=4K] + 00:1c.0 SD Host controller: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series eMMC Controller (rev 0b) + Region 0: Memory at 91618000 (64-bit, non-prefetchable) [size=4K] + Region 2: Memory at 91617000 (64-bit, non-prefetchable) [size=4K] + 00:1f.0 ISA bridge: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series Low Pin Count Interface (rev 0b) + 00:1f.1 SMBus: Intel Corporation Celeron N3350/Pentium N4200/Atom E3900 Series SMBus Controller (rev 0b) + Region 0: Memory at 91616000 (64-bit, non-prefetchable) [size=256] + 01:00.0 Ethernet controller: Intel Corporation I210 Gigabit Network Connection (rev 03) + Region 0: Memory at 91200000 (32-bit, non-prefetchable) [size=1M] + Region 3: Memory at 91300000 (32-bit, non-prefetchable) [size=16K] + 03:00.0 Non-VGA unclassified device: TTTech Computertechnik AG Device de01 (rev 01) + Region 0: Memory at 91500000 (32-bit, non-prefetchable) [disabled] [size=128] + 05:00.0 Ethernet controller: Intel Corporation I210 Gigabit Network Connection (rev 03) + Region 0: Memory at 91400000 (32-bit, non-prefetchable) [size=128K] + Region 3: Memory at 91420000 (32-bit, non-prefetchable) [size=16K] + + + 00:00.0 0600: 8086:5af0 (rev 0b) + 00:02.0 0300: 8086:5a85 (rev 0b) + 00:0e.0 0403: 8086:5a98 (rev 0b) + 00:0f.0 0780: 8086:5a9a (rev 0b) + 00:12.0 0106: 8086:5ae3 (rev 0b) + 00:13.0 0604: 8086:5ad8 (rev fb) + 00:13.1 0604: 8086:5ad9 (rev fb) + 00:13.2 0604: 8086:5ada (rev fb) + 00:13.3 0604: 8086:5adb (rev fb) + 00:14.0 0604: 8086:5ad6 (rev fb) + 00:14.1 0604: 8086:5ad7 (rev fb) + 00:15.0 0c03: 8086:5aa8 (rev 0b) + 00:1b.0 0805: 8086:5aca (rev 0b) + 00:1c.0 0805: 8086:5acc (rev 0b) + 00:1f.0 0601: 8086:5ae8 (rev 0b) + 00:1f.1 0c05: 8086:5ad4 (rev 0b) + 01:00.0 0200: 8086:1533 (rev 03) + 03:00.0 0000: 1c7e:de01 (rev 01) + 05:00.0 0200: 8086:157b (rev 03) + + + #define WAKE_VECTOR_32 0x79D6908CUL + #define WAKE_VECTOR_64 0x79D69098UL + + + #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 0x400UL + #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 0x404UL + #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 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 0xFED64000UL + #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 0xFED65000UL + #define DRHD1_IGNORE false + #define DRHD1_DEVSCOPE0_TYPE 0x3U + #define DRHD1_DEVSCOPE0_ID 0x1U + #define DRHD1_DEVSCOPE0_BUS 0xfaU + #define DRHD1_DEVSCOPE0_PATH 0xf8U + #define DRHD1_DEVSCOPE1_TYPE 0x4U + #define DRHD1_DEVSCOPE1_ID 0x0U + #define DRHD1_DEVSCOPE1_BUS 0x0U + #define DRHD1_DEVSCOPE1_PATH 0xffU + + + + "Intel(R) Atom(TM) Processor E3940 @ 1.60GHz" + + + /* Cx data is not available */ + + + /* Px data is not available */ + + + /* PCI mmcfg base of MCFG */ + #define DEFAULT_PCI_MMCFG_BASE 0xe0000000UL + + + /* no TPM device */ + + + rdt resources supported: L2 + rdt resource clos max: 4 + rdt resource mask max: '0xff' + + + 00000000-00000fff : Reserved + 00001000-0003efff : System RAM + 0003f000-0003ffff : Reserved + 00040000-0009dfff : System RAM + 0009e000-000fffff : Reserved + 000f0000-000fffff : System ROM + 00100000-1fffffff : System RAM + 0b800000-0c401e76 : Kernel code + 0c600000-0cd6ffff : Kernel rodata + 0ce00000-0d07b7ff : Kernel data + 0d64f000-0d7fffff : Kernel bss + 20000000-22150fff : Reserved + 22151000-743fffff : System RAM + 74400000-74402fff : Reserved + 74403000-768d7fff : System RAM + 768d8000-768d8fff : Reserved + 768d9000-778f9fff : System RAM + 778fa000-79cf9fff : Reserved + 79cfa000-79d40fff : System RAM + 79d41000-79d69fff : ACPI Non-volatile Storage + 79d6a000-7a0a9fff : Reserved + 7a0aa000-7a129fff : Unknown E820 type + 7a12a000-7a498fff : System RAM + 7a499000-7a499fff : ACPI Non-volatile Storage + 7a49a000-7a4c3fff : Reserved + 7a4c4000-7aae4fff : System RAM + 7aae5000-7aae6fff : Reserved + 7aae7000-7affffff : System RAM + 7b000000-7fffffff : Reserved + 7b800001-7bffffff : PCI Bus 0000:00 + 7c000001-7fffffff : PCI Bus 0000:00 + 7c000001-7ffffffe : Graphics Stolen Memory + 80000000-cfffffff : PCI Bus 0000:00 + 80000000-8fffffff : 0000:00:02.0 + 90000000-90ffffff : 0000:00:02.0 + 91000000-910fffff : 0000:00:0e.0 + 91000000-910fffff : ICH HD audio + 91100000-913fffff : PCI Bus 0000:01 + 91100000-911fffff : 0000:01:00.0 + 91200000-912fffff : 0000:01:00.0 + 91200000-912fffff : igb + 91300000-91303fff : 0000:01:00.0 + 91300000-91303fff : igb + 91400000-914fffff : PCI Bus 0000:05 + 91400000-9141ffff : 0000:05:00.0 + 91400000-9141ffff : igb + 91420000-91423fff : 0000:05:00.0 + 91420000-91423fff : igb + 91500000-915fffff : PCI Bus 0000:03 + 91500000-9150007f : 0000:03:00.0 + 91600000-9160ffff : 0000:00:15.0 + 91600000-9160ffff : xhci-hcd + 91608070-9160846f : intel_xhci_usb_sw + 91610000-91613fff : 0000:00:0e.0 + 91610000-91613fff : ICH HD audio + 91614000-91615fff : 0000:00:12.0 + 91614000-91615fff : ahci + 91616000-916160ff : 0000:00:1f.1 + 91617000-91617fff : 0000:00:1c.0 + 91618000-91618fff : 0000:00:1c.0 + 91618000-91618fff : mmc1 + 91619000-91619fff : 0000:00:1b.0 + 9161a000-9161afff : 0000:00:1b.0 + 9161a000-9161afff : mmc0 + 9161b000-9161b7ff : 0000:00:12.0 + 9161b000-9161b7ff : ahci + 9161c000-9161c0ff : 0000:00:12.0 + 9161c000-9161c0ff : ahci + 9161f000-9161ffff : 0000:00:0f.0 + 9161f000-9161ffff : mei_me + d0000000-d0ffffff : Reserved + d0c00000-d0c00653 : INT3452:03 + d0c00000-d0c00653 : INT3452:03 INT3452:03 + d0c40000-d0c40763 : INT3452:01 + d0c40000-d0c40763 : INT3452:01 INT3452:01 + d0c50000-d0c5076b : INT3452:00 + d0c50000-d0c5076b : INT3452:00 INT3452:00 + d0c70000-d0c70673 : INT3452:02 + d0c70000-d0c70673 : INT3452:02 INT3452:02 + e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff] + e0000000-efffffff : Reserved + e0000000-efffffff : PCI Bus 0000:00 + e0000000-efffffff : pnp 00:05 + fe042000-fe044fff : Reserved + fe900000-fe902fff : Reserved + fea00000-feafffff : pnp 00:05 + fec00000-fec00fff : Reserved + fec00000-fec003ff : IOAPIC 0 + fed00000-fed003ff : HPET 0 + fed00000-fed003ff : PNP0103:00 + fed01000-fed01fff : intel-spi + fed01000-fed01fff : Reserved + fed01000-fed01fff : pnp 00:05 + fed03000-fed03fff : pnp 00:05 + fed06000-fed06fff : pnp 00:05 + fed08000-fed09fff : pnp 00:05 + fed1c000-fed1cfff : pnp 00:05 + fed40000-fed44fff : 00:07 TPM + fed80000-fedbffff : pnp 00:05 + fee00000-fee00fff : Local APIC + fee00000-fee00fff : Reserved + ff000000-ffffffff : Reserved + 100000000-17fffffff : System RAM + + + /dev/sda2: TYPE="ext4" + + + seri:/dev/ttyS0 type:portio base:0x3F8 irq:4 + seri:/dev/ttyS1 type:portio base:0x2F8 irq:3 + + + 5, 6, 7, 10, 11, 12, 13, 15 + + + 3870212 kB + + + 0, 1, 2, 3 + + + 5 + + + + 0x6 + 0x5c + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0x15 + 39 + 48 + + + + + 0 + 0x0 + 0x0 + 0x6 + 0x5c + 0x9 + + + + + + + 1 + 0x2 + 0x2 + 0x6 + 0x5c + 0x9 + + + + + + + 2 + 0x4 + 0x4 + 0x6 + 0x5c + 0x9 + + + + + + + 3 + 0x6 + 0x6 + 0x6 + 0x5c + 0x9 + + + + + + + + + 24576 + 64 + 6 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x0 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x0 + + + + 24576 + 64 + 6 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x2 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x2 + + + + 24576 + 64 + 6 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x4 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x4 + + + + 24576 + 64 + 6 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x6 + + + + 32768 + 64 + 8 + 64 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x6 + + + + 1048576 + 64 + 16 + 1024 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x0 + 0x2 + + + 8 + 4 + + + + 1048576 + 64 + 16 + 1024 + 1 + 1 + 0 + 1 + 0 + 0 + + 0x4 + 0x6 + + + 8 + 4 + + + + + + + + + + + + + + + + +
0xfec00000
+ 0x0 + 120 + + + + + 0x8086 + 0x5af0 + 0x8086 + 0x7270 + 0x060000 + + + + + + + 0x8086 + 0x5a85 + 0x8086 + 0x2212 + 0x030000 + + + + + + + + 1 + + + + + + + + 0x8086 + 0x5a98 + 0x8086 + 0x7270 + 0x040300 + + + + + + + 1 + + + + + + 0x8086 + 0x5a9a + 0x8086 + 0x7270 + 0x078000 + + + + + 1 + + + + + + 0x8086 + 0x5ae3 + 0x8086 + 0x7270 + 0x010601 + + + + + + + + + 1 + + + + + + 0x8086 + 0x5ad8 + 0x060400 + + + + + + 1 + + + + + + + + 0x8086 + 0x1533 + 0xffff + 0x0000 + 0x020000 + + + + + + + 1 + + + + + 5 + 7 + 0x30000 + 1 + 0x0 + + + + + + + + + + 0x8086 + 0x5ad9 + 0x060400 + + + + 1 + + + + + + + + + 0x8086 + 0x5ada + 0x060400 + + + + + 1 + + + + + + + + 0x1c7e + 0xde01 + 0x0000 + 0x0000 + 0x000000 + + + + 1 + + + + + + + + + + + 0x8086 + 0x5adb + 0x060400 + + + + 1 + + + + + + + + + 0x8086 + 0x5ad6 + 0x060400 + + + + + + 1 + + + + + + + + 0x8086 + 0x157b + 0x1059 + 0x4140 + 0x020000 + + + + + + + 1 + + + + + 5 + 7 + 0x30000 + 1 + 0x0 + + + + + + + + + + 0x8086 + 0x5ad7 + 0x060400 + + + + 1 + + + + + + + + + 0x8086 + 0x5aa8 + 0x8086 + 0x7270 + 0x0c0330 + + + + + 8 + + + + + + + 0x8086 + 0x5aca + 0x8086 + 0x7270 + 0x080501 + + + + + + + + 0x8086 + 0x5acc + 0x8086 + 0x7270 + 0x080501 + + + + + + + + 0x8086 + 0x5ae8 + 0x8086 + 0x7270 + 0x060100 + + + 0x8086 + 0x5ad4 + 0x8086 + 0x7270 + 0x0c0500 + + + + + + + + + + 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/kontron-COMe-mAL10/shared+initrd.xml b/debian/configs/kontron-COMe-mAL10/shared+initrd.xml new file mode 100644 index 000000000..87f8d9b20 --- /dev/null +++ b/debian/configs/kontron-COMe-mAL10/shared+initrd.xml @@ -0,0 +1,310 @@ + + + + debug + /dev/ttyS1 + 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 HD Graphics 500 (rev 0b) + + 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 0417925c4..76244cbd2 100755 --- a/debian/rules +++ b/debian/rules @@ -13,7 +13,7 @@ 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 nuc7i7dnh +ACRN_BOARDLIST := whl-ipc-i5 nuc11tnbi5 cfl-k700-i7 tgl-vecow-spc-7100-Corei7 nuc7i7dnh kontron-COMe-mAL10 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