cmake_tool: add ELF loader setting for zynqmq 32

Enable the ELF loader for 32-bit images on zynqmq platforms. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Aug 13, 2024 · bef85f3 · bef85f3
1 parent d3700e7
commit bef85f3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake
@@ -51,6 +51,7 @@ function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch)
         set(IMAGE_START_ADDR 0x1000 CACHE INTERNAL "" FORCE)
     endif()
     if(KernelPlatformZynqmp AND KernelSel4ArchAarch32)
+        set(ElfloaderArmV8LeaveAarch64 ON CACHE BOOL "" FORCE)
         set(IMAGE_START_ADDR 0x8000000 CACHE INTERNAL "" FORCE)
     endif()
     if(KernelPlatformSpike AND KernelSel4ArchRiscV32)