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)
synquacer: Enable optional OP-TEE support


Trivial merge