1. 4dc4a47 Add support for PSCI SYSTEM_OFF and SYSTEM_RESET APIs by Juan Castillo · Tue Aug 12 11:17:06 2014 +0100
  2. 53c843a Simplify interface to TZC-400 driver by Dan Handley · Mon Aug 04 19:53:05 2014 +0100
  3. be234f9 Remove platform dependency in CCI-400 driver by Dan Handley · Mon Aug 04 16:11:15 2014 +0100
  4. 48e84b3 FVP: make usage of Trusted DRAM optional at build time by Juan Castillo · Tue Aug 12 13:51:51 2014 +0100
  5. 0c70c57 FVP: apply new naming conventions to memory regions by Juan Castillo · Tue Aug 12 13:04:43 2014 +0100
  6. b3dbeb0 Call platform_is_primary_cpu() only from reset handler by Juan Castillo · Wed Jul 16 15:53:43 2014 +0100
  7. 69817f7 Parametrize baudrate and UART clock during console_init() by Soby Mathew · Mon Jul 14 15:43:21 2014 +0100
  8. 1c54d97 Refactor fvp_config into common platform header by Dan Handley · Fri Jun 20 12:02:01 2014 +0100
  9. 960347d Support later revisions of the Foundation FVP by Andrew Thoelke · Thu Jun 26 14:27:26 2014 +0100
  10. d73898a Set correct value for SYS_ID_REV_SHIFT in FVP by Juan Castillo · Fri Jun 13 17:10:00 2014 +0100
  11. a55566d Allow platform parameter X1 to be passed to BL3-1 by Andrew Thoelke · Wed May 28 22:22:55 2014 +0100
  12. ed6ff95 Split platform.h into separate headers by Dan Handley · Wed May 14 17:44:19 2014 +0100