1. 5f0cdb0 Split platform.h into separate headers by Dan Handley · 11 years ago
  2. a43d431 Rework BL3-1 unhandled exception handling and reporting by Soby Mathew · 11 years ago