camkes-vm: add builds for petalinux versions (#325)

The vm_minimal application supports different versions of Petalinux. This commit adds builds for each supported version. Signed-off-by: Chris Guikema <chris.guikema@dornerworks.com>
seL4 · Jan 31, 2024 · 4cbec8f · 4cbec8f
1 parent e740321
commit 4cbec8f
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
@@ -48,6 +48,20 @@ builds:
     platform: ZYNQMP
     vm_platform: zcu102
     success: "@xilinx-zcu102"
+- vm_minimal_ZCU102_2021_1:
+    app: vm_minimal
+    platform: ZYNQMP
+    vm_platform: zcu102
+    success: "@xilinx-zcu102"
+    settings:
+        VmZynqmpPetalinuxVersion: '2021_1'
+- vm_minimal_ZCU102_2022_1:
+    app: vm_minimal
+    platform: ZYNQMP
+    vm_platform: zcu102
+    success: "@xilinx-zcu102"
+    settings:
+        VmZynqmpPetalinuxVersion: '2022_1'
 - vm_minimal_ARMVIRT:
     app: vm_minimal
     platform: ARMVIRT