Re: [PATCH 05/11] board: stm32mp1: reserve memory for OP-TEE in device tree

Hi On 3/18/20 9:22 AM, Patrick Delaunay wrote: > Add reserve memory for OP-TEE in U-Boot and in kernel device tree: > - no more reduce the DDR size in "memory" node: > CONFIG_SYS_MEM_TOP_HIDE is no more used > - U-Boot device-tree defines the needed "reserved-memory" for OP-TEE > and U-Boot sh

[PATCH 05/11] board: stm32mp1: reserve memory for OP-TEE in device tree

Add reserve memory for OP-TEE in U-Boot and in kernel device tree: - no more reduce the DDR size in "memory" node: CONFIG_SYS_MEM_TOP_HIDE is no more used - U-Boot device-tree defines the needed "reserved-memory" for OP-TEE and U-Boot should not use this reserved memory: board_get_usable_ram_to