2 # Makefile for the linux kernel.
5 obj-y
:= core.o clock.o
6 obj-
$(CONFIG_MACH_REALVIEW_EB
) += realview_eb.o
7 obj-
$(CONFIG_MACH_REALVIEW_PB11MP
) += realview_pb11mp.o
8 obj-
$(CONFIG_MACH_REALVIEW_PB1176
) += realview_pb1176.o
9 obj-
$(CONFIG_MACH_REALVIEW_PBA8
) += realview_pba8.o
10 obj-
$(CONFIG_SMP
) += platsmp.o headsmp.o localtimer.o
11 obj-
$(CONFIG_HOTPLUG_CPU
) += hotplug.o
