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

From: [email-masked] (Karol Lewandowski)
Date: Tue, 31 Jan 2012 17:41:52 +0100

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<[email-masked]>

( Minor note - my email address lacks 'i' at the end, i.e. it's
   k.lewandowsk@ :)

> Signed-off-by: Thomas Abraham<[email-masked]>
> ---
> This patch solves the issue of boot failure with SMP enabled kernel for
> Exynos4 device tree enabled machine.

Tested-by: Karol Lewandowski <[email-masked]>

Thanks!