[PATCHv2 0/3] clocksource: add db8500 PRCMU timer

[Linus Walleij]

On Sat, Feb 4, 2012 at 1:30 PM, Russell King - ARM Linux
<linux at arm.linux.org.uk> wrote:

> So, I'm going to add this patch to my tree today.

I think Mattias is on paternity leave and not reading mail,
but it looks good to me so:
Acked-by: Linus Walleij <linus.walleij at linaro.org>

Thanks,
Linus Walleij