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

From: Jamie Iles
Date: Mon Feb 28 2011 - 06:12:08 EST

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@xxxxxxxxxxxxxx>
> Signed-off-by: John Linn <john.linn@xxxxxxxxxx>
> ---

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.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at