camkes-vm: add vm_minimal for ODROID_C2

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 27, 2024 · a8a89b6 · a8a89b6
1 parent 999eae2
commit a8a89b6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
@@ -65,6 +65,9 @@ builds:
     platform: TX2
     settings:
         NUM_NODES: 4
+- vm_minimal_C2:
+    app: vm_minimal
+    platform: ODROID_C2
 - vm_serial_server_ODROID_XU4:
     app: vm_serial_server
     platform: ODROID_XU4