1. aaf71c8 GICv3: Fix the GICD_IROUTER offset by Soby Mathew · 8 years ago
  2. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew · 8 years ago
  3. 92712a5 Add ARM GICv3 driver without support for legacy operation by Achin Gupta · 9 years ago