[RFC PATCH 10/16] ARM: local timers: add exynos_mct driver to driver/clocksource

[Arnd Bergmann]

On Thursday 16 June 2011, Marc Zyngier wrote:
> 
> Add a "new" driver to driver/clocksource to support the Samsung MCT
> hardware. This is basically the local timer part of
> arch/arm/mach-exynos4/mct.c, turned into a platform driver, and
> with a CPU notifier being used to start/stop timers on secondary
> cores.
> 
> Cc: Kukjin Kim <kgene.kim at samsung.com>
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

My feeling is that it would be nicer to do this as an atomic change together
with the removal of the existing code, rather than two patches.

	Arnd