From 464b22def17bcac0a52df2879868adc83af5b0ec Mon Sep 17 00:00:00 2001 From: Chris Guikema Date: Mon, 29 Jan 2024 16:06:23 -0500 Subject: [PATCH] vm_arm, trivial: support petalinux 2022.1 Signed-off-by: Chris Guikema --- components/VM_Arm/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/components/VM_Arm/CMakeLists.txt b/components/VM_Arm/CMakeLists.txt index 37dc8cee..7d6ab734 100644 --- 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}")