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
..
opteed	opteed: pass device tree pointer in x2	2017-08-24 16:00:20 +02:00
tlkd	Fix order of #includes	2017-07-12 14:45:31 +01:00
trusty	Fix order of #includes	2017-07-12 14:45:31 +01:00
tspd	Fix order of #includes	2017-07-12 14:45:31 +01:00