board: st: stm32mp1: increase teed partition

With TEE 3.7.0, the partition teed (OP-TEE pageable
code and data) need to increase up to 512KB in NOR device.

Signed-off-by: Patrick Delaunay <patrick.delaunay@st.com>
Reviewed-by: Patrice Chotard <patrice.chotard@st.com>

diff --git a/board/st/common/Kconfig b/board/st/common/Kconfig
index 015ba40..750dbb6 100644 (file)
--- a/board/st/common/Kconfig
+++ b/board/st/common/Kconfig
@@ -39,7 +39,7 @@ config MTDPARTS_NOR0_BOOT
 
 config MTDPARTS_NOR0_TEE
        string "mtd tee partitions for nor0"
-       default "256k(teeh),256k(teed),256k(teex)"
+       default "256k(teeh),512k(teed),256k(teex)"
        depends on SYS_MTDPARTS_RUNTIME && ARCH_STM32MP
        help
          This define the tee partitions added in mtparts dynamically