On 3 December 2013 07:04, Peter Crosthwaite <peter.crosthwa...@xilinx.com> wrote: > GIC_BASE_ADDR is not the base address of the GIC. Its clear from the > code that this is the base address of the MPCore. Rename to > MPCORE_PERIPHBASE accordingly.
> Signed-off-by: Peter Crosthwaite <peter.crosthwa...@xilinx.com> Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> ...I'd still like to see a fix for that busted A15 secondary boot code, though :-( -- PMM