1. 5ac9d96 Fix pointer type mismatch of handlers by Masahiro Yamada · Thu Apr 19 01:18:48 2018 +0900
  2. fa3cf0b Use SPDX license identifiers by dp-arm · Wed May 03 09:38:09 2017 +0100
  3. b3a0a7b Add support for %p in tf_printf() by Antonio Nino Diaz · Tue Feb 02 12:03:38 2016 +0000
  4. 2bd4ef2 Reduce deep nesting of header files by Dan Handley · Wed Apr 09 13:14:54 2014 +0100
  5. 930ee2e Refactor GIC header files by Dan Handley · Thu Apr 17 17:48:52 2014 +0100
  6. a70615f Move include and source files to logical locations by Dan Handley · Wed Apr 09 12:48:25 2014 +0100[Renamed from arch/system/gic/gic_v3.c]
  7. 992dc07 Merge pull request #50 from vikramkanigiri/vk/tf-issues#26 by achingupta · Thu May 01 13:16:33 2014 +0100