3 @@ -954,10 +954,15 @@ source "arch/arm/mach-vexpress/Kconfig"
5 source "arch/arm/mach-w90x900/Kconfig"
7 +source "arch/arm/plat-fa/Kconfig"
9 # Definitions to make life easier
18 select GENERIC_CLOCKEVENTS
19 --- a/arch/arm/Makefile
20 +++ b/arch/arm/Makefile
21 @@ -202,6 +202,7 @@ plat-$(CONFIG_ARCH_MXC) := mxc
22 plat-$(CONFIG_ARCH_OMAP) := omap
23 plat-$(CONFIG_ARCH_S3C64XX) := samsung
24 plat-$(CONFIG_ARCH_STMP3XXX) := stmp3xxx
25 +plat-$(CONFIG_PLAT_FA) := fa
26 plat-$(CONFIG_PLAT_IOP) := iop
27 plat-$(CONFIG_PLAT_NOMADIK) := nomadik
28 plat-$(CONFIG_PLAT_ORION) := orion
30 +++ b/arch/arm/plat-fa/Makefile
33 +# Makefile for the linux kernel.
43 +++ b/arch/arm/plat-fa/Kconfig