[PATCH v2] ARM: Exynos4: Add cpu-offset property in gic device tree node
From: Karol Lewandowski <hidden>
Date: 2012-01-31 16:41:52
Also in:
linux-devicetree, linux-samsung-soc
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<redacted>( Minor note - my email address lacks 'i' at the end, i.e. it's k.lewandowsk@ :)
Signed-off-by: Thomas Abraham<redacted> --- This patch solves the issue of boot failure with SMP enabled kernel for Exynos4 device tree enabled machine.
Tested-by: Karol Lewandowski <redacted> Thanks!