From d6fc33ec2754dc6fa02b405926aadc9cf938aacb Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 13 Aug 2024 10:03:56 +0200 Subject: [PATCH] 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 --- cmake-tool/helpers/application_settings.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake index 09513ec1..9e897535 100644 --- 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)