1. ed6ff95 Split platform.h into separate headers by Dan Handley · 11 years ago
  2. 2bd4ef2 Reduce deep nesting of header files by Dan Handley · 11 years ago
  3. 65668f9 Allocate single stacks for BL1 and BL2 by Andrew Thoelke · 11 years ago