Jens Wiklander ae213cee8c Initialize SCTLR_EL1 based on MODE_RW bit ...

Initializes SCTLR_EL1 based on MODE_RW bit in SPSR for the entry
point. The RES1 bits for SCTLR_EL1 differs for Aarch64 and Aarch32
mode.

2014-09-16 11:39:32 -07:00

..

bl31

Introduce framework for CPU specific operations

2014-08-20 19:13:25 +01:00

bl32/tsp

Add support for PSCI SYSTEM_OFF and SYSTEM_RESET APIs

2014-08-19 11:42:45 +01:00

common

Rework use of labels in assembly macros.

2014-08-19 14:42:35 +01:00

drivers

Simplify interface to TZC-400 driver

2014-08-14 11:17:52 +01:00

lib

Initialize SCTLR_EL1 based on MODE_RW bit

2014-09-16 11:39:32 -07:00

plat/common

Miscellaneous documentation fixes

2014-08-27 19:13:56 +01:00

stdlib

Add Firmware Image Package creation tool

2014-02-17 18:51:43 +00:00