Andre Przywara 1a0f9366d8 arm_fpga: Read GICD and GICR base addresses from DT ... Since we use a DTB with all platform information to pass this on to a kernel loaded as BL33, we can as well make use of it for our own purposes. Every DT would contain a node for the GIC(v3) interrupt controller, so we can read the base address for the distributor and redistributors from there. This avoids hard coding this information in the code and allows for a more flexible binary. Change-Id: Ic530e223a21a45bc30a07a21048116d5af69e972 Signed-off-by: Andre Przywara <andre.przywara@arm.com>		2020-05-05 15:36:51 +01:00
..
plat_macros.S	plat/arm/board/arm_fpga: Enable basic BL31 port for an FPGA image	2020-03-26 20:22:30 +00:00
platform_def.h	arm_fpga: Read GICD and GICR base addresses from DT	2020-05-05 15:36:51 +01:00