Re: [Uboot-stm32] [PATCH] board: st: stm32mp1: increase teed partition

Hi Patrick On 6/16/20 6:19 PM, Patrick Delaunay wrote: > 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 > --- > > board/st/common/Kconfig | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-)

[PATCH] 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 --- board/st/common/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/board/st/common/Kconfig b/board/st/common/Kconfig index