stm32mp1: WITH_SRAM1_PAGER_POOL=y uses SRAM1 for the pager

Add build config switch WITH_SRAM1_PAGER_POOL=y|n to assign
secure SRAM1 to OP-TEE pager page pool. This relaxes pressure on pager
when used on STM32MP15 platforms. When enabled, CFG_TEE_CORE_DEBUG
is default enabled, as it is default disabled in the platform
conf.mk file when pager is enabled.

The switch is default enabled for ST boards based on STM32MP15 chip.

Acked-by: Jerome Forissier <jerome.forissier@linaro.org>
Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com>
1 file changed
tree: 355d30958b80a52da6543cc6269abec0490c4c92
  1. .github/
  2. br-ext/
  3. fvp/
  4. imx/
  5. kconfigs/
  6. qemu_v8/
  7. rpi3/
  8. ti/
  9. versal/
  10. zynqmp/
  11. .gitignore
  12. am43xx.mk
  13. am57xx.mk
  14. common.mk
  15. dra7xx.mk
  16. fvp-psa-sp.mk
  17. fvp.mk
  18. get_clang.sh
  19. hikey.mk
  20. hikey960.mk
  21. imx.mk
  22. juno.mk
  23. poplar.mk
  24. qemu-check.exp
  25. qemu.mk
  26. qemu_v8.mk
  27. README.md
  28. rockpi4.mk
  29. rpi3.mk
  30. soc_term.py
  31. stm32mp1.mk
  32. synquacer.mk
  33. toolchain.mk
  34. trusted-keys.exp
  35. trusted-services.mk
  36. verdin.mk
  37. versal.mk
  38. zynqmp.mk
README.md

OP-TEE build.git

This git contains makefiles etc to be able to build a full OP-TEE developer setup for the OP-TEE project.

All official OP-TEE documentation has moved to http://optee.readthedocs.io. The pages that used to be here in this git can be found under build and Device specific information at he new location for the OP-TEE documentation.

// OP-TEE core maintainers