Vijayenthiran Subramaniam c7d4a2178b plat/arm/sgi: move bl31_platform_setup to board file ... For SGI-575 and RD platforms, move bl31_platform_setup handler to individual board files to allow the platforms to perform board specific bl31 setup. Change-Id: Ia44bccc0a7f40a155b33909bcb438a0909b20d42 Signed-off-by: Vijayenthiran Subramaniam <vijayenthiran.subramaniam@arm.com>		2020-02-07 19:24:17 +05:30
..
fdts	board/rde1edge: rename sgiclarkh to rde1edge	2019-02-27 12:34:39 +05:30
include	Unify type of "cpu_idx" across PSCI module.	2020-01-10 17:11:51 +00:00
platform.mk	plat/arm/sgi: introduce number of chips macro	2020-02-07 19:24:17 +05:30
rde1edge_err.c	arm: Shorten the Firmware Update (FWU) process	2019-07-23 10:41:41 +01:00
rde1edge_plat.c	plat/arm/sgi: move bl31_platform_setup to board file	2020-02-07 19:24:17 +05:30
rde1edge_security.c	board/rde1edge: rename sgiclarkh to rde1edge	2019-02-27 12:34:39 +05:30
rde1edge_topology.c	board/rde1edge: fix incorrect topology tree description	2020-02-07 19:24:17 +05:30
rde1edge_trusted_boot.c	Adds option to read ROTPK from registers for FVP	2020-02-06 16:58:53 +00:00