Merge pull request #1284 from jeenu-arm/tspd-ehf
authordavidcunado-arm <david.cunado@arm.com>
Wed, 28 Feb 2018 00:30:55 +0000 (00:30 +0000)
committerGitHub <noreply@github.com>
Wed, 28 Feb 2018 00:30:55 +0000 (00:30 +0000)
TSPD and EHF


Trivial merge