Merge pull request #748 from dp-arm/dp/arm-sip
authordanh-arm <dan.handley@arm.com>
Thu, 3 Nov 2016 17:49:16 +0000 (17:49 +0000)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2016 17:49:16 +0000 (17:49 +0000)
BL31 runtime instrumentation fixes and documentation update


Trivial merge