1. 7264513 Flush the GIC driver data after init by Soby Mathew · 8 years ago
  2. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew · 9 years ago
  3. e063d3c Add ARM GICv2 driver by Soby Mathew · 9 years ago