[PATCH v2] ARM: Exynos4: Add cpu-offset property in gic device tree node

[Kukjin Kim]

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 at samsung.com>
> 
> ( Minor note - my email address lacks 'i' at the end, i.e. it's
>    k.lewandowsk@ :)
> 
> > Signed-off-by: Thomas Abraham<thomas.abraham at linaro.org>
> > ---
> > This patch solves the issue of boot failure with SMP enabled kernel for
> > Exynos4 device tree enabled machine.
> 
> Tested-by: Karol Lewandowski <k.lewandowsk at samsung.com>
> 
Applied with fixing Karol's e-mail address.

Thanks.

Best regards,
Kgene.
--
Kukjin Kim <kgene.kim at samsung.com>, Senior Engineer,
SW Solution Development Team, Samsung Electronics Co., Ltd.