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