tree 863a383aadc7f20812264e033339ad7f5b75ec41
parent 6072c220bd3f9097f92b5e9aa48584e948f7cecf
author Patrick Delaunay <patrick.delaunay@st.com> 1592324368 +0200
committer Patrick Delaunay <patrick.delaunay@st.com> 1594130483 +0200

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>