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_SMP
) += platsmp.o headsmp.o
8 obj-
$(CONFIG_HOTPLUG_CPU
) += hotplug.o
9 obj-
$(CONFIG_LOCAL_TIMERS
) += localtimer.o
