vm_arm, zynqmp: add cmake option for petalinux

This commit adds a CMake option to allow the VM to be configured for different Petalinux versions. Currently, 2021.1 is supported; however, this will allow additional versions to be easily added to the project. Signed-off-by: Chris Guikema <[email protected]>
seL4 · Sep 21, 2023 · 672261a · 672261a
1 parent bf28377
commit 672261a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/components/VM_Arm/CMakeLists.txt b/components/VM_Arm/CMakeLists.txt
@@ -137,6 +137,13 @@ config_option(
     "KernelPlatformExynos5410 OR KernelPlatformExynos5422 OR KernelPlatformZynqmp"
 )
 
+config_choice(
+    VmZynqmpPetalinuxVersion
+    ZYNQMP_PETALINUX_VERSION
+    "The version of Petalinux to use"
+    "2021_1;VmZynqmpPetalinux2021_1;ZYNQMP_PETALINUX_2021_1;KernelPlatformZynqmp"
+)
+
 add_config_library(arm_vm "${configure_string}")
 
 DeclareCAmkESARMVM(VM)