tree 13737330a6f1a3a493f8b197b5e2c40422c04ba0
parent 3127abbb383e28e8e4e20d4cc64a98c1e05b55ba
parent c1d2a28415654f62db23b69ddfb01d4172c0ff14
author danh-arm <dan.handley@arm.com> 1479811654 +0000
committer GitHub <noreply@github.com> 1479811654 +0000

Merge pull request #755 from vwadekar/trusty-spd

spd: dispatcher for interacting with the Trusty TEE