1. 7264513 Flush the GIC driver data after init by Soby Mathew · Tue Feb 14 10:11:52 2017 +0000
  2. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew · Mon Feb 01 17:59:22 2016 +0000
  3. 421259e Fix GIC_IPRIORITYR setting in new drivers by Soby Mathew · Fri Jan 15 14:20:57 2016 +0000
  4. 73f9299 Fix race in GIC IPRIORITY and ITARGET accessors by Soby Mathew · Fri Jan 15 14:05:37 2016 +0000
  5. e063d3c Add ARM GICv2 driver by Soby Mathew · Wed Oct 07 09:45:27 2015 +0100