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> Thanks! -- 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