commit bd871529656aed7cb15762cb90802ef8c14f70c4
author Yann Gautier <yann.gautier@st.com> Fri Jan 05 15:13:58 2024 +0100
committer Manish V Badarkhe <manish.badarkhe@arm.com> Tue Jun 18 09:09:42 2024 +0200
tree 64c4513da3ceb3c28a8c44f44b9346aa234eeb9f
parent f648fafe492ad35650b1424a8f6def9a80903c28

feat(st): add FWU configurations

Test Firmware Update configurations (with PSA_FWU_SUPPORT=1).
Add one FWU config for STM32MP15 on SD-card.
To avoid adding too much configurations, update all STM32MP13 configs
to use FWU and change STM32MP15 boot on raw NAND to use it as well,
as there is some dedicated code for this use case.

Signed-off-by: Yann Gautier <yann.gautier@st.com>
Change-Id: I4deb3fe3ca79a45ac7b95c976f44fcd457d4872b

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 45140a1..02c69c7 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -653,6 +653,12 @@
     BUILD_PLAT=build/stm32mp1-sdmmc/debug \
     bl2
 
+# STM32MP1 SDMMC boot BL2 with OP-TEE & FWU
+make ${stm32mp1_common_flags} STM32MP_SDMMC=1 \
+    BUILD_PLAT=build/stm32mp1-sdmmc/debug \
+    PSA_FWU_SUPPORT=1 AARCH32_SP=optee \
+    bl2
+
 # STM32MP1 eMMC boot
 make ${stm32mp1_common_flags} STM32MP_EMMC=1 \
     BUILD_PLAT=build/stm32mp1-emmc/debug \
@@ -661,7 +667,8 @@
 # STM32MP1 Raw NAND boot
 make ${stm32mp1_common_flags} STM32MP_RAW_NAND=1 \
     BUILD_PLAT=build/stm32mp1-nand/debug \
-    AARCH32_SP=sp_min bl2 bl32
+    PSA_FWU_SUPPORT=1 AARCH32_SP=optee \
+    bl2
 
 # STM32MP1 SPI NAND boot
 make ${stm32mp1_common_flags} STM32MP_SPI_NAND=1 \
@@ -691,12 +698,18 @@
 
 stm32mp13_common_flags="${stm32mp1_common_flags} \
 			AARCH32_SP=optee \
+			PSA_FWU_SUPPORT=1 \
 			STM32MP13=1"
 
 # STM32MP13 SDMMC boot
 make ${stm32mp13_common_flags} STM32MP_SDMMC=1 \
     BUILD_PLAT=build/stm32mp1-mp13-sdmmc/debug bl2
 
+# STM32MP13 SDMMC boot with FWU
+make ${stm32mp13_common_flags} STM32MP_SDMMC=1 \
+    PSA_FWU_SUPPORT=1 \
+    BUILD_PLAT=build/stm32mp1-mp13-sdmmc/debug bl2
+
 # STM32MP13 TBBR
 make ${stm32mp13_common_flags} STM32MP_SDMMC=1 \
     MBEDTLS_DIR=$(pwd)/mbedtls TRUSTED_BOARD_BOOT=1 \