diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
index 92a6ca0d..099b2e6d 100644
--- a/camkes-vm/builds.yml
+++ b/camkes-vm/builds.yml
@@ -62,9 +62,9 @@ builds:
     success: "@xilinx-zcu102"
     settings:
         VmZynqmpPetalinuxVersion: '2022_1'
-- vm_minimal_ARMVIRT:
+- vm_minimal_ARMVIRT64:
     app: vm_minimal
-    platform: ARMVIRT
+    platform: ARMVIRT64
     sim: true
 - vm_minimal_ODROID_XU4:
     app: vm_minimal
@@ -128,7 +128,7 @@ builds:
 - vm_introspect_ODROID_XU4:
     app: vm_introspect
     platform: ODROID_XU4
-- vm_introspect_ARMVIRT:
+- vm_introspect_ARMVIRT64:
     app: vm_introspect
-    platform: ARMVIRT
+    platform: ARMVIRT64
     sim: true
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 9c9a76ab..a35148b6 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -100,7 +100,7 @@ platforms:
     march: armv8a
     no_hw_test: true
 
-  ARMVIRT:
+  ARMVIRT64:
     arch: arm
     modes: [64]
     platform: qemu-arm-virt
diff --git a/webserver/builds.yml b/webserver/builds.yml
index f3f5b3a9..fb3832c0 100644
--- a/webserver/builds.yml
+++ b/webserver/builds.yml
@@ -13,7 +13,7 @@ builds:
     platform: ODROID_XU4
 
 - qemu-arm-virt:
-    platform: ARMVIRT
+    platform: ARMVIRT64
 
 - odroid_c2:
     platform: ODROID_C2