3 @@ -1133,10 +1133,15 @@ source "arch/arm/mach-w90x900/Kconfig"
5 source "arch/arm/mach-zynq/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 @@ machine-$(CONFIG_ARCH_SUNXI) += sunxi
22 plat-$(CONFIG_ARCH_OMAP) += omap
23 plat-$(CONFIG_ARCH_S3C64XX) += samsung
24 plat-$(CONFIG_PLAT_IOP) += iop
25 +plat-$(CONFIG_PLAT_FA) += fa
26 plat-$(CONFIG_PLAT_ORION) += orion
27 plat-$(CONFIG_PLAT_PXA) += pxa
28 plat-$(CONFIG_PLAT_S3C24XX) += s3c24xx samsung
29 @@ -311,7 +312,7 @@ define archhelp
30 echo ' Image - Uncompressed kernel image (arch/$(ARCH)/boot/Image)'
31 echo '* xipImage - XIP kernel image, if configured (arch/$(ARCH)/boot/xipImage)'
32 echo ' uImage - U-Boot wrapped zImage'
33 - echo ' bootpImage - Combined zImage and initial RAM disk'
34 + echo ' bootpImage - Combined zImage and initial RAM disk'
35 echo ' (supply initrd image via make variable INITRD=<path>)'
36 echo '* dtbs - Build device tree blobs for enabled boards'
37 echo ' install - Install uncompressed kernel'
39 +++ b/arch/arm/plat-fa/Makefile
42 +# Makefile for the linux kernel.
52 +++ b/arch/arm/plat-fa/Kconfig