tree a5f4186122043f2b749b46f079dd35d5e16d8eac
parent c1e5f8713a3b892ae5023b4a34f085094cf4938f
parent e11f87b21b63153fdb42c589544dc24153f34c60
author danh-arm <dan.handley@arm.com> 1532439443 +0100
committer GitHub <noreply@github.com> 1532439443 +0100

Merge pull request #1488 from b49020/integration

synquacer: Enable optional OP-TEE support