switch-l4t-atf/bl31
Olivier Deprez 63aa4094fb Merge changes from topic "spmd" into integration
* changes:
  SPMD: enable SPM dispatcher support
  SPMD: hook SPMD into standard services framework
  SPMD: add SPM dispatcher based upon SPCI Beta 0 spec
  SPMD: add support to run BL32 in TDRAM and BL31 in secure DRAM on Arm FVP
  SPMD: add support for an example SPM core manifest
  SPMD: add SPCI Beta 0 specification header file
2020-02-11 08:34:47 +00:00
..
aarch64 Make PAC demangling more generic 2020-02-07 17:00:34 +00:00
bl31_context_mgmt.c Coverity: remove unnecessary header file includes 2020-02-04 10:23:51 -06:00
bl31_main.c Refactor ARMv8.3 Pointer Authentication support code 2019-09-13 14:11:59 +01:00
bl31.ld.S Merge changes from topic "mp/separate_nobits" into integration 2020-02-04 16:37:09 +00:00
bl31.mk SPMD: enable SPM dispatcher support 2020-02-10 14:09:21 +00:00
ehf.c Minor changes to documentation and comments 2019-02-28 13:35:21 +00:00
interrupt_mgmt.c Use correct type when reading SCR register 2020-01-28 11:10:48 +00:00