Merge pull request #898 from soby-mathew/sm/dcache-early
PSCI: Build option to enable D-Caches early in warmboot |
---|
Makefile |
---|
bl31/aarch64/bl31_entrypoint.S |
---|
bl32/sp_min/aarch32/entrypoint.S |
---|
docs/user-guide.md |
---|
lib/psci/psci_on.c |
---|
lib/psci/psci_suspend.c |
---|
make_helpers/defaults.mk |
---|