1. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew · Mon Feb 01 17:59:22 2016 +0000
  2. 421259e Fix GIC_IPRIORITYR setting in new drivers by Soby Mathew · Fri Jan 15 14:20:57 2016 +0000
  3. 92712a5 Add ARM GICv3 driver without support for legacy operation by Achin Gupta · Thu Sep 03 14:18:02 2015 +0100