From 4a68e8ed70059ce04f326ea54f1a46bd53aa8413 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Mon, 22 Sep 2025 15:36:38 +1000 Subject: [PATCH] elfloader: add bcm2712 Add bcm2717 (RPI5) to the list of platforms with binary image. Signed-off-by: Ivan Velickovic --- cmake-tool/helpers/application_settings.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake index 71a35299..2bfb2f0a 100644 --- a/cmake-tool/helpers/application_settings.cmake +++ b/cmake-tool/helpers/application_settings.cmake @@ -11,7 +11,7 @@ include_guard(GLOBAL) function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch) set(binary_list - "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;imx8mp-evk;hifive;bcm2837;tqma8xqp1gb;imx93;bcm2711;rocketchip;rk3568;stm32mp2" + "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;imx8mp-evk;hifive;bcm2837;tqma8xqp1gb;imx93;bcm2711;bcm2712;rocketchip;rk3568;stm32mp2" ) set(efi_list "tk1;rockpro64;quartz64") set(uimage_list "hifive-p550;tx2;am335x;bananapi-f3;star64")