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<[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]>
> 
Applied with fixing Karol's e-mail address.

Thanks.

Best regards,
Kgene.
--
Kukjin Kim <[email protected]>, Senior Engineer,
SW Solution Development Team, Samsung Electronics Co., Ltd.

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

Reply via email to