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]