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>
1 parent 670c66a commit 1a0f9366d82f7e9fac96a29bd38c78828044a147
@Andre Przywara Andre Przywara authored on 24 Jan 2020
Showing 2 changed files
View
plat/arm/board/arm_fpga/fpga_gicv3.c
View
plat/arm/board/arm_fpga/include/platform_def.h