Etienne Carriere 908cf70597 ARMv7 does not support SDCR ...

Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>

2017-11-08 13:49:32 +01:00

..

aarch32

ARMv7 does not support SDCR

2017-11-08 13:49:32 +01:00

aarch64

Add CFI debug info to vector entries

2017-08-31 13:33:37 +01:00

tbbr

Support Trusted OS firmware extra images in TF tools

2017-08-09 18:06:05 +08:00

asm_macros_common.S

asm_macros: set the default assembly code alignment to 4 byte

2017-08-31 18:45:19 +09:00

bl_common.h

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

debug.h

Implement log framework

2017-09-11 15:37:24 +01:00

desc_image_load.h

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

ep_info.h

Fully initialise essential control registers

2017-06-21 17:57:54 +01:00

interrupt_props.h

GIC: Allow specifying interrupt properties

2017-10-16 16:50:02 +01:00

param_header.h

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

runtime_svc.h

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00