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)
commit2b3ce7b8d9fadecddc24cf0b4dbcc489f6ed257e
treeba9770435f49916c6a62b720f0e2aafa1dc7f7a5
parent2fef96a31a911caed599c110ac4704e186375c67
parentbfef610667b75e731d0d263b069369f7695c6c83
Merge pull request #748 from dp-arm/dp/arm-sip

BL31 runtime instrumentation fixes and documentation update