1. b1e957e GIC: Add API to get running priority by Jeenu Viswambharan · 7 years ago
  2. fa3cf0b Use SPDX license identifiers by dp-arm · 7 years ago
  3. e063d3c Add ARM GICv2 driver by Soby Mathew · 9 years ago