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_ARCH_VEXPRESS_CA9X4
) += ct-ca9x4.o
9 obj-
$(CONFIG_ARCH_VEXPRESS_DCSCB
) += dcscb.o dcscb_setup.o
10 CFLAGS_dcscb.o
+= -march
=armv7-a
11 obj-
$(CONFIG_ARCH_VEXPRESS_TC2_PM
) += tc2_pm.o spc.o
12 CFLAGS_tc2_pm.o
+= -march
=armv7-a
13 obj-
$(CONFIG_SMP
) += platsmp.o
14 obj-
$(CONFIG_HOTPLUG_CPU
) += hotplug.o
