[PATCH V4 2/4] ARM: Xilinx: Adding timer support to the platform

[Jamie Iles]

On Fri, Feb 18, 2011 at 11:14:39AM -0700, John Linn wrote:
> The timer driver supports the Xilinx PS Timer Counter IP.
> 
> Signed-off-by: Kiran Sutariya <kiran.sutariya at einfochips.com>
> Signed-off-by: John Linn <john.linn at xilinx.com>
> ---

Looks nice to me.  It may be worth adding sched_clock() support to get 
better scheduler resolution in the future but that could come as a 
separate patch.

Jamie