[PATCH 2/6] clocksource: add lpc32xx timer driver

[Arnd Bergmann]

On Wednesday 01 April 2015 23:20:39 Joachim Eastwood wrote:
> Add support for using the NXP LPC timer as clocksource and
> clock event. These timers are present on many NXP devices
> including LPC32xx, LPC17xx, LPC18xx and LPC43xx.
> 
> Signed-off-by: Joachim Eastwood <manabian at gmail.com>
> 

Would it make sense to change mach-lpc32xx as a follow-up to use
the same driver? It currently hardcodes a driver instead of using
DT.

	Arnd