1. b351481 arm_fpga: Read GICD and GICR base addresses from DT by Andre Przywara · 4 years, 10 months ago
  2. b51da81 plat/arm/board/arm_fpga: Initialize the Generic Interrupt Controller by Oliver Swede · 5 years ago