camkes-vm: remove unsupported ARMVIRT32 build

ARMVIRT32 is currently not supported in the VM, and there are no immediate plans to change that since work is focused on 64 bit VMMs. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Mar 16, 2024 · 5b49cb5 · 5b49cb5
1 parent d9f7a54
commit 5b49cb5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
@@ -70,10 +70,6 @@ builds:
     settings:
         VmZynqmpPetalinuxVersion: '2022_1'
         NUM_NODES: 4
-- vm_minimal_ARMVIRT32:
-    app: vm_minimal
-    platform: ARMVIRT32
-    sim: true
 - vm_minimal_ARMVIRT64:
     app: vm_minimal
     platform: ARMVIRT64