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 protected]>

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

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

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

Thanks!
_______________________________________________
devicetree-discuss mailing list
[email protected]
https://lists.ozlabs.org/listinfo/devicetree-discuss

Reply via email to