Jens Wiklander 19911aa6fe opteed: pass device tree pointer in x2 ...

Pass device tree pointer to OP-TEE in x2. bl2 is expected to fill in the
device tree pointer in args.arg3. Passing 0 means that device tree is
unavailable.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>

2017-08-24 16:00:20 +02:00

..

spd

opteed: pass device tree pointer in x2

2017-08-24 16:00:20 +02:00

std_svc

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00