1. fa3cf0b Use SPDX license identifiers by dp-arm · 8 years ago
  2. 76647d5 GICv3: Introduce power management APIs for Redistributor by Jeenu Viswambharan · 8 years ago
  3. aaf71c8 GICv3: Fix the GICD_IROUTER offset by Soby Mathew · 8 years ago
  4. a0fedc4 Rework type usage in Trusted Firmware by Soby Mathew · 8 years ago
  5. 5c5c36b Rename GICv3 interrupt group macros by Soby Mathew · 9 years ago
  6. 92712a5 Add ARM GICv3 driver without support for legacy operation by Achin Gupta · 9 years ago