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)
commite83b5fdc7a01c137fe77787cc076594ef0850f9e
treeeb9ca88682f9ef7a679d24ca051458916f9f6ddd
parent228bfabaf874fd8eedd50b0757e34166afb4bf5a
parentbcc3c49c90a1e79befa72b8871d4d4c6031c15b7
Merge pull request #898 from soby-mathew/sm/dcache-early

PSCI: Build option to enable D-Caches early in warmboot
Makefile
docs/user-guide.md