Subject: ARM Versatile A15_A7 boot with 3 & 4 Cores

From: [email-masked] (Marc Zyngier)
Date: Tue, 18 Jun 2013 10:36:11 +0100

On 18/06/13 10:28, Vijay Kilari wrote:

Hi Vijay,

>    Using ARM Versatile board A15 (2 core) & A7 (3 cores) configuration
> with 3.10 SMP kernel with number of cores set to 3 / 4 cores, kernel
> does not boot. Boot fails with Bad page during pgd_alloc()

Can you please try this patch:
http://comments.gmane.org/gmane.linux.ports.arm.kernel/243350

Thanks,

	M.
-- 
Jazz is not dead. It just smells funny...