1. e9ec3ce Move private APIs in gic_common.h to a private header by Soby Mathew · 10 years ago
  2. 464ce2b Add ARM GICv2 driver by Soby Mathew · 10 years ago