Merge pull request #1488 from b49020/integration
authordanh-arm <dan.handley@arm.com>
Tue, 24 Jul 2018 13:37:23 +0000 (14:37 +0100)
committerGitHub <noreply@github.com>
Tue, 24 Jul 2018 13:37:23 +0000 (14:37 +0100)
commitcffb00342897ed73a2bb9fc7a1860102bd927f2e
treea5f4186122043f2b749b46f079dd35d5e16d8eac
parent790e6c5b96c4c71958071702f5227bc4f47b3b2a
parent6cb2a397032187b03fd7dbdf965f09b29f3594b1
Merge pull request #1488 from b49020/integration

synquacer: Enable optional OP-TEE support