Merge pull request #755 from vwadekar/trusty-spd
authordanh-arm <dan.handley@arm.com>
Tue, 22 Nov 2016 10:47:34 +0000 (10:47 +0000)
committerGitHub <noreply@github.com>
Tue, 22 Nov 2016 10:47:34 +0000 (10:47 +0000)
spd: dispatcher for interacting with the Trusty TEE


Trivial merge