- 42ba7c9 feat(arm_fpga): support GICv4 images by Andre Przywara · 3 years, 2 months ago
- f70f4b9 feat(gicv3): detect GICv4 feature at runtime by Andre Przywara · 3 years, 2 months ago
- efece28 arm_fpga: Remove SPE PMU DT node if SPE is not available by Andre Przywara · 4 years ago
- 210541b arm_fpga: Adjust GICR size in DT to match number of cores by Andre Przywara · 3 years, 11 months ago
- 3bcf3c8 arm_fpga: Add support to populate the CPU nodes in the DTB by Javier Almansa Sobrino · 4 years, 1 month ago
- 0176793 arm_fpga: Support uploading a custom command line by Andre Przywara · 4 years ago
- fc78c3c arm_fpga: Add support for topology self-discovery by Javier Almansa Sobrino · 4 years, 2 months ago
- eec45eb arm_fpga: Read generic timer counter frequency from DT by Andre Przywara · 4 years, 6 months ago
- 2f18ea2 arm_fpga: Remove bogus timer initialisation by Andre Przywara · 4 years, 3 months ago
- b51da81 plat/arm/board/arm_fpga: Initialize the Generic Interrupt Controller by Oliver Swede · 4 years, 7 months ago
- 20e0137 plat/arm/board/arm_fpga: Initialize the System Counter by Oliver Swede · 4 years, 7 months ago
- f94e2ee plat/arm/board/arm_fpga: Use preloaded BL33 alternative boot flow by Oliver Swede · 4 years, 8 months ago
- 8fed2fe plat/arm/board/arm_fpga: Enable basic BL31 port for an FPGA image by Oliver Swede · 4 years, 8 months ago