morello: Add FVP and SoC platforms to the EFI list

morello-fvp and morello-soc are loaded by UEFI. Signed-off-by: Hesham Almatary <[email protected]>
seL4 · Jan 31, 2024 · 44a9f81 · 44a9f81
1 parent 5e2506b
commit 44a9f81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake
@@ -14,7 +14,7 @@ function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch)
         binary_list
         "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;hifive;tqma8xqp1gb;bcm2711;rocketchip"
     )
-    set(efi_list "tk1;rockpro64;quartz64")
+    set(efi_list "tk1;rockpro64;quartz64;morello-fvp;morello-soc")
     set(uimage_list "tx2;am335x")
     if(
         ${kernel_platform} IN_LIST efi_list