vm_arm, trivial: support petalinux 2022.1

Signed-off-by: Chris Guikema <[email protected]>
seL4 · Jan 31, 2024 · 464b22d · 464b22d
1 parent ae9cfc9
commit 464b22d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/components/VM_Arm/CMakeLists.txt b/components/VM_Arm/CMakeLists.txt
@@ -144,6 +144,7 @@ config_choice(
     compatible with the seL4 kernel device tree"
     "2018_3;VmZynqmpPetalinux2018_3;ZYNQMP_PETALINUX_2018_3;KernelPlatformZynqmp"
     "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}")