OP-TEE/optee_client — pull request #12 by jenswi-linaro (2014-08-08 07:59:21+00:00)
Title: Add support for arm64

Depends corresponding API change in kernel driver.

* Adds support for arm64
* Changes in the API between kernel driver and also secure world
to make it 64-bit compatible while not requireing a 64bit secure
world.