On 01/20/2012 11:05 AM, Peter Maydell wrote: > Support passing a board ID value to the kernel in r1 > that is more than 16 bits wide. This is needed to pass > the '-1 == invalid' value for boards which only support > device tree booting. > > Signed-off-by: Peter Maydell <peter.mayd...@linaro.org> > --- > This applies after the Calxeda patchset. Mark, I suggest you put it > in your patchset in the appropriate place.
Thanks, very helpful. I'm currently tracking down a bug in which linux/arch/arm/kernel/smp.c scu_get_core_count() returns the value of the raw_readl of scu_base + SCU_CONFIG (0xfee00004) as the value of smpboot[0]. It seems to be bypassing the a9mpcore.c code entirely. I'm not sure what's happening there. --Mark Langsdorf Calxeda, Inc.