Merge pull request #729 from dp-arm/dp/arm-sip
authordanh-arm <dan.handley@arm.com>
Mon, 17 Oct 2016 11:19:20 +0000 (12:19 +0100)
committerGitHub <noreply@github.com>
Mon, 17 Oct 2016 11:19:20 +0000 (12:19 +0100)
Add instrumentation support for PSCI

1  2 
Makefile

diff --cc Makefile
Simple merge