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

…

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

…

interrupt_mgmt.c

Use correct type when reading SCR register

2020-01-28 11:10:48 +00:00