diff options
| author | Patrick Delaunay <[email protected]> | 2020-06-16 18:19:28 +0200 |
|---|---|---|
| committer | Patrick Delaunay <[email protected]> | 2020-07-07 16:01:23 +0200 |
| commit | 42400228dce2c300cf1cde921f5f2750540ec8d9 (patch) | |
| tree | 863a383aadc7f20812264e033339ad7f5b75ec41 /include/linux | |
| parent | 6072c220bd3f9097f92b5e9aa48584e948f7cecf (diff) | |
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 <[email protected]>
Reviewed-by: Patrice Chotard <[email protected]>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions
