1. fa3cf0b Use SPDX license identifiers by dp-arm · Wed May 03 09:38:09 2017 +0100
  2. 18e785f Fix debug assertion in deprecated CCI-400 driver by Sandrine Bailleux · Fri Oct 02 08:51:17 2015 +0100
  3. 7f1f062 Use uintptr_t as base address type in ARM driver APIs by Juan Castillo · Tue Sep 09 09:49:23 2014 +0100
  4. 40d468c Common driver for ARM Cache Coherent Interconnects by Vikram Kanigiri · Tue Dec 23 01:00:22 2014 +0000
  5. be234f9 Remove platform dependency in CCI-400 driver by Dan Handley · Mon Aug 04 16:11:15 2014 +0100
  6. ed6ff95 Split platform.h into separate headers by Dan Handley · Wed May 14 17:44:19 2014 +0100
  7. 2bd4ef2 Reduce deep nesting of header files by Dan Handley · Wed Apr 09 13:14:54 2014 +0100
  8. a70615f Move include and source files to logical locations by Dan Handley · Wed Apr 09 12:48:25 2014 +0100