add ARMVIRT32 platform

Signed-off-by: Axel Heider <[email protected]>
seL4 · Feb 6, 2024 · a97f219 · a97f219
1 parent 3309ab9
commit a97f219
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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]