rpi4: set default elfloader settings for aarch32

Build an elfloader image for an aarch32 rpi4 kernel that expects to start in aarch64 EL2. It will then switch down to aarch32 supervisor mode and start seL4. Signed-off-by: Kent McLeod <[email protected]>
seL4 · Jun 1, 2023 · 2c61d6a · 2c61d6a
1 parent 6a46b98
commit 2c61d6a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake
@@ -51,6 +51,9 @@ function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch)
         set(IMAGE_START_ADDR 0x80400000 CACHE INTERNAL "" FORCE)
     endif()
     if(KernelPlatformRpi4)
+        if(KernelSel4ArchAarch32)
+            set(ElfloaderArmV8LeaveAarch64 ON CACHE BOOL "" FORCE)
+        endif()
         set(IMAGE_START_ADDR 0x10000000 CACHE INTERNAL "" FORCE)
     endif()
 endfunction()