board: st: stm32mp1: increase teed partition
authorPatrick Delaunay <patrick.delaunay@st.com>
Tue, 16 Jun 2020 16:19:28 +0000 (18:19 +0200)
committerPatrick Delaunay <patrick.delaunay@st.com>
Tue, 7 Jul 2020 14:01:23 +0000 (16:01 +0200)
commit42400228dce2c300cf1cde921f5f2750540ec8d9
tree863a383aadc7f20812264e033339ad7f5b75ec41
parent6072c220bd3f9097f92b5e9aa48584e948f7cecf
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>
board/st/common/Kconfig