On 11 January 2012 16:31, Mark Langsdorf <mark.langsd...@calxeda.com> wrote: > + highbank_binfo.ram_size = ram_size; > + highbank_binfo.kernel_filename = kernel_filename; > + highbank_binfo.kernel_cmdline = kernel_cmdline; > + highbank_binfo.initrd_filename = initrd_filename; > + highbank_binfo.board_id = -1; /* provided by deviceTree */ > + highbank_binfo.nb_cpus = smp_cpus; > + highbank_binfo.loader_start = 0; > + highbank_binfo.smp_loader_start = SMP_BOOT_ADDR; > + arm_load_kernel(env, &highbank_binfo);
So at the moment this will use address 0x10000030 as the location that the bootloader for secondary CPUs polls to find out whether it can release the secondary CPUs. This is right for realview and vexpress, because it's the sysreg SYS_FLAGS (implemented in arm_sysctl.c). Is this really the right location to poll for Highbank? (There's a patch in the Samsung Exynos4 patch series which addresses this by allowing boards to specify a polling location. So I'm wondering what that location ought to be for Highbank...) thanks -- PMM