rename ARMVIRT -> ARMVIRT64

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

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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
@@ -13,7 +13,7 @@ builds:
     platform: ODROID_XU4
 
 - qemu-arm-virt:
-    platform: ARMVIRT
+    platform: ARMVIRT64
 
 - odroid_c2:
     platform: ODROID_C2