trivial: add petalinx version for hw-tests

Signed-off-by: Chris Guikema <[email protected]>
seL4 · Jan 24, 2024 · 44e25f8 · 44e25f8
1 parent c372ff4
commit 44e25f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/components/VM_Arm/CMakeLists.txt b/components/VM_Arm/CMakeLists.txt
@@ -142,6 +142,7 @@ config_choice(
     ZYNQMP_PETALINUX_VERSION
     "The version of Petalinux to use"
     "2021_1;VmZynqmpPetalinux2021_1;ZYNQMP_PETALINUX_2021_1;KernelPlatformZynqmp"
+    "2022_1;VmZynqmpPetalinux2022_1;ZYNQMP_PETALINUX_2022_1;KernelPlatformZynqmp"
 )
 
 add_config_library(arm_vm "${configure_string}")