On 4 April 2012 07:39, Evgeny Voevodin <e.voevo...@samsung.com> wrote: > Remove gic_cpu_write() call after initialization that was emulating > functionality of earliest SOC bootloader which enables external > GIC CPU1 interface. Instead introduce Exynos4210-specific secondary > CPU bootloader, which enables both Internal and External GIC CPU1 > interfaces. > > Signed-off-by: Evgeny Voevodin <e.voevo...@samsung.com>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> Thanks for the quick patch; I've taken both these into arm-devs.next. -- PMM
