- b351481 arm_fpga: Read GICD and GICR base addresses from DT by Andre Przywara · 4 years, 8 months ago
- eec45eb arm_fpga: Read generic timer counter frequency from DT by Andre Przywara · 4 years, 8 months ago
- 8b50525 arm_fpga: Use Generic UART by Andre Przywara · 4 years, 5 months ago
- 2f18ea2 arm_fpga: Remove bogus timer initialisation by Andre Przywara · 4 years, 5 months ago
- b21cad7 arm_fpga: adapt to new way of including gicv3 files by Manish Pandey · 4 years, 5 months ago
- 25786a3 Fix coverity defects found on the FPGA port. by Javier Almansa Sobrino · 4 years, 5 months ago
- 7fbb9b5 plat/arm/board/arm_fpga: Compile with additional CPU libraries by Oliver Swede · 4 years, 8 months ago
- 735fcf3 plat/arm/board/arm_fpga: Enable position-independent execution by Oliver Swede · 4 years, 8 months ago
- 3769b3f plat/arm/board/arm_fpga: Enable port for alternative cluster configurations by Oliver Swede · 4 years, 9 months ago
- b51da81 plat/arm/board/arm_fpga: Initialize the Generic Interrupt Controller by Oliver Swede · 4 years, 10 months ago
- 20e0137 plat/arm/board/arm_fpga: Initialize the System Counter by Oliver Swede · 4 years, 10 months ago
- 6e86c5a plat/arm/board/arm_fpga: Add PSCI implementation for FPGA images by Oliver Swede · 4 years, 10 months ago
- f94e2ee plat/arm/board/arm_fpga: Use preloaded BL33 alternative boot flow by Oliver Swede · 4 years, 10 months ago
- 8fed2fe plat/arm/board/arm_fpga: Enable basic BL31 port for an FPGA image by Oliver Swede · 4 years, 10 months ago