2 # Makefile for the linux kernel.
4 ccflags-
$(CONFIG_ARCH_MULTIPLATFORM
) := -I
$(srctree
)/$(src
)/include \
5 -I
$(srctree
)/arch
/arm
/plat-versatile
/include
8 obj-
$(CONFIG_REALVIEW_DT
) += realview-dt.o
9 obj-
$(CONFIG_SMP
) += platsmp-dt.o
12 obj-
$(CONFIG_MACH_REALVIEW_EB
) += realview_eb.o
13 obj-
$(CONFIG_MACH_REALVIEW_PB11MP
) += realview_pb11mp.o
14 obj-
$(CONFIG_MACH_REALVIEW_PB1176
) += realview_pb1176.o
15 obj-
$(CONFIG_MACH_REALVIEW_PBA8
) += realview_pba8.o
16 obj-
$(CONFIG_MACH_REALVIEW_PBX
) += realview_pbx.o
17 obj-
$(CONFIG_SMP
) += platsmp.o
19 obj-
$(CONFIG_HOTPLUG_CPU
) += hotplug.o
