diff options
| author | Yann Gautier <yann.gautier@st.com> | 2019-04-19 09:41:01 +0200 |
|---|---|---|
| committer | Yann Gautier <yann.gautier@st.com> | 2019-04-23 13:34:12 +0200 |
| commit | 1989a19c2db9512c8a07867d219c45eb8d5995a4 (patch) | |
| tree | 1330b552764dd8466a582d5ffc191b58721550bc /docs/components/platform-interrupt-controller-API.rst | |
| parent | eb4519ef653f9dc2fced5dc3e087db22485c3a7d (diff) | |
stm32mp1: add OP-TEE support
Support booting OP-TEE as BL32 boot stage and secure runtime
service.
OP-TEE executes in internal RAM and uses a secure DDR area to store
the pager pagestore. Memory mapping and TZC are configured accordingly
prior OP-TEE boot. OP-TEE image is expected in OP-TEE v2 format where
a header file describes the effective boot images. This change
post processes header file content to get OP-TEE load addresses
and set OP-TEE boot arguments.
Change-Id: I02ef8b915e4be3e95b27029357d799d70e01cd44
Signed-off-by: Yann Gautier <yann.gautier@st.com>
Signed-off-by: Etienne Carriere <etienne.carriere@st.com>
Diffstat (limited to 'docs/components/platform-interrupt-controller-API.rst')
0 files changed, 0 insertions, 0 deletions