[PATCH] ARM: Add Versatile Express support

[Russell King - ARM Linux]

On Fri, Mar 05, 2010 at 11:27:13AM +0100, Albin Tonnerre wrote:
> Hi Russell,
> 
> > +config ARCH_VEXPRESS
> > +       bool "ARM Ltd. Versatile Express family"
> > +       select ARCH_WANT_OPTIONAL_GPIOLIB
> > +       select ARM_AMBA
> > +       select ARM_TIMER_SP804
> 
> You need platform.h, as it's used in arch/arm/plat-versatile/timer-sp.c
> Unless I'm mistaken, it's missing from this patchset.
> 
> Otherwise, Tested-By: Albin Tonnerre <albin.tonnerre at gmail.com>

Builds fine for me.  timer-sp.c does not include platform.h