Merge pull request #898 from soby-mathew/sm/dcache-early
authordavidcunado-arm <david.cunado@arm.com>
Fri, 21 Apr 2017 10:45:53 +0000 (11:45 +0100)
committerGitHub <noreply@github.com>
Fri, 21 Apr 2017 10:45:53 +0000 (11:45 +0100)
PSCI: Build option to enable D-Caches early in warmboot

1  2 
Makefile
docs/user-guide.md

diff --cc Makefile
Simple merge
Simple merge