[PATCH 07/10] ARM: ux500: Provide local timer support for Device Tree

[Arnd Bergmann]

On Wednesday 14 March 2012, Lee Jones wrote:
> 
> This enables local timer (AKA: private timer) support for
> all u8500 based hardware using DT.
> 
> Signed-off-by: Lee Jones <lee.jones at linaro.org>

Reviewed-by: Arnd Bergmann <arnd at arndb.de>