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

Jamie Iles jamie at jamieiles.com
Mon Feb 28 06:11:56 EST 2011

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.


More information about the linux-arm-kernel mailing list