From dc879d75374d2ecfac94a1725a8c9e3d42b86726 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sat, 16 Mar 2024 11:43:14 +0100
Subject: [PATCH] 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 <gerwin.klein@proofcraft.systems>
---
 camkes-vm/builds.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
index 1454a52b..b0b311f0 100644
--- 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