1. d645232 AArch32: Enable GIC and TZC support by Soby Mathew · Thu May 05 13:59:07 2016 +0100
  2. aaf71c8 GICv3: Fix the GICD_IROUTER offset by Soby Mathew · Tue Jul 26 17:46:56 2016 +0100
  3. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew · Mon Feb 01 17:59:22 2016 +0000
  4. 92712a5 Add ARM GICv3 driver without support for legacy operation by Achin Gupta · Thu Sep 03 14:18:02 2015 +0100