1. eec45eb arm_fpga: Read generic timer counter frequency from DT by Andre Przywara · 4 years, 6 months ago
  2. 2f18ea2 arm_fpga: Remove bogus timer initialisation by Andre Przywara · 4 years, 3 months ago
  3. b51da81 plat/arm/board/arm_fpga: Initialize the Generic Interrupt Controller by Oliver Swede · 4 years, 7 months ago
  4. 20e0137 plat/arm/board/arm_fpga: Initialize the System Counter by Oliver Swede · 4 years, 7 months ago
  5. f94e2ee plat/arm/board/arm_fpga: Use preloaded BL33 alternative boot flow by Oliver Swede · 4 years, 8 months ago
  6. 8fed2fe plat/arm/board/arm_fpga: Enable basic BL31 port for an FPGA image by Oliver Swede · 4 years, 8 months ago