1. eb68ea9 GIC: Add API to get running priority by Jeenu Viswambharan · 8 years ago
  2. 82cb2c1 Use SPDX license identifiers by dp-arm · 8 years ago
  3. 311b177 Flush the GIC driver data after init by Soby Mathew · 8 years ago
  4. e9ec3ce Move private APIs in gic_common.h to a private header by Soby Mathew · 10 years ago
  5. 464ce2b Add ARM GICv2 driver by Soby Mathew · 10 years ago