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