[PATCH 4/5] arm: fix up ARM_ARCH_TIMER selects

[Mark Rutland]

On Wed, Mar 27, 2013 at 07:47:00PM +0000, Stephen Warren wrote:
> On 03/27/2013 11:11 AM, Mark Rutland wrote:
> > In 8a4da6e: "arm: arch_timer: move core to drivers/clocksource", the
> > selection of ARM_ARCH_TIMER was indirected via HAVE_ARM_ARCH_TIMER,
> > though mach-exynos's selection of ARM_ARCH_TIMER was missed, and since
> > then mach-virt and mach-tegra have begun selecting ARM_ARCH_TIMER. This
> > can lead to architected timer support erroneously appearing to not be
> > selected in menuconfig.
> > 
> > This patch fixes up the Kconfigs for those platforms to select
> > HAVE_ARM_ARCH_TIMER.
> 
> Acked-by: Stephen Warren <swarren at nvidia.com>

Cheers.

> 
> I assume you'll take this patch through some tree of yours.
> 

Yup, that's the plan.

Mark.