Karol Lewandowski wrote: > > On 31.01.2012 16:29, Thomas Abraham wrote: > > Commit db0d4db22a78 ('ARM: gic: allow GIC to support non-banked setups) > > requires a cpu-offset property to be specified for non-banked gic > > controllers, which is the case for Exynos4. > > > > Reported-by: Karol Lewandowski<k.lewandowski@xxxxxxxxxxx> > > ( Minor note - my email address lacks 'i' at the end, i.e. it's > k.lewandowsk@ :) > > > Signed-off-by: Thomas Abraham<thomas.abraham@xxxxxxxxxx> > > --- > > This patch solves the issue of boot failure with SMP enabled kernel for > > Exynos4 device tree enabled machine. > > Tested-by: Karol Lewandowski <k.lewandowsk@xxxxxxxxxxx> > Applied with fixing Karol's e-mail address. Thanks. Best regards, Kgene. -- Kukjin Kim <kgene.kim@xxxxxxxxxxx>, Senior Engineer, SW Solution Development Team, Samsung Electronics Co., Ltd. -- To unsubscribe from this list: send the line "unsubscribe linux-samsung-soc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html