linaro-swg / linux

Linux kernel source tree
Other
41 stars 79 forks source link

arm64: dt: Add no-map to the reserved-memory node for OP-TEE **not fo… #25

Closed jforissier closed 7 years ago

jforissier commented 7 years ago

…r mailine**

All the platforms that reserve memory for OP-TEE statically via the DT (i.e., not those that reserve it via UEFI or that patch the DT dynamically thanks to OP-TEE's CFG_DT option) have to mark it 'no-map' so that only the TEE driver may map it.

Fixes: https://github.com/OP-TEE/optee_os/issues/1034 Signed-off-by: Jerome Forissier jerome.forissier@linaro.org

jbech-linaro commented 7 years ago

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>