From a97f2195f30c0095b9b8b9bf3ad11bb9efc3b740 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Thu, 1 Feb 2024 21:24:21 +0100 Subject: [PATCH] add ARMVIRT32 platform Signed-off-by: Axel Heider --- camkes-vm/builds.yml | 4 ++++ seL4-platforms/platforms.yml | 9 +++++++++ 2 files changed, 13 insertions(+) diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml index 099b2e6d..446070c9 100644 --- a/camkes-vm/builds.yml +++ b/camkes-vm/builds.yml @@ -62,6 +62,10 @@ builds: success: "@xilinx-zcu102" settings: VmZynqmpPetalinuxVersion: '2022_1' +- vm_minimal_ARMVIRT32: + app: vm_minimal + platform: ARMVIRT32 + sim: true - vm_minimal_ARMVIRT64: app: vm_minimal platform: ARMVIRT64 diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml index a35148b6..741f3527 100644 --- a/seL4-platforms/platforms.yml +++ b/seL4-platforms/platforms.yml @@ -100,6 +100,15 @@ platforms: march: armv8a no_hw_test: true + ARMVIRT32: + arch: arm + modes: [32] + platform: qemu-arm-virt + has_simulation: true + march: armv7a # Cortex-A15 is emulated by default + no_hw_test: true + no_hw_build: true + ARMVIRT64: arch: arm modes: [64]