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