[PATCH 0/5] BCM2835/Raspberry-Pi support

[Carlo Caione]

On 10/15/2012 02:43 PM, Jean-Christophe PLAGNIOL-VILLARD wrote:
> On 08:56 Mon 15 Oct     , Sascha Hauer wrote:
>>
>> Jean-Christophe,
>>
>> Since you reviewed this series can I assume you give your Acked-by once
>> you are happy with it?
> I'm happy with it except one point that I just check with the mainline kernel
> the DT
>
> the timer as example is "brcm,bcm2835-system-timer" not "brcm,bcm2835-cs"
>
> for gpio it's the right one
>
> as we can agree to dt must be in sync

You are definitely right.
I'll resubmit the patches.
Thank you for your review, it is greatly appreciated.

Best,

--
Carlo Caione