1. 5f0cdb0 Split platform.h into separate headers by Dan Handley · 11 years ago
  2. 97043ac Reduce deep nesting of header files by Dan Handley · 11 years ago
  3. 2bf28e6 Allocate single stacks for BL1 and BL2 by Andrew Thoelke · 11 years ago