camkes-vm: use full name for ODROID_C2

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 28, 2024 · 0161435 · 0161435
1 parent 564267b
commit 0161435
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
@@ -65,7 +65,7 @@ builds:
     platform: TX2
     settings:
         NUM_NODES: 4
-- vm_minimal_C2:
+- vm_minimal_ODROID_C2:
     app: vm_minimal
     platform: ODROID_C2
 - vm_serial_server_ODROID_XU4: