1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
5 ccflags-
$(CONFIG_ARCH_MULTIPLATFORM
) := \
6 -I
$(srctree
)/arch
/arm
/plat-versatile
/include
8 obj-
$(CONFIG_ARCH_VEXPRESS
) := v2m.o
9 obj-
$(CONFIG_ARCH_VEXPRESS_DCSCB
) += dcscb.o dcscb_setup.o
10 CFLAGS_dcscb.o
+= -march
=armv7-a
11 CFLAGS_REMOVE_dcscb.o
= -pg
12 obj-
$(CONFIG_ARCH_VEXPRESS_SPC
) += spc.o
13 CFLAGS_REMOVE_spc.o
= -pg
14 obj-
$(CONFIG_ARCH_VEXPRESS_TC2_PM
) += tc2_pm.o
15 CFLAGS_tc2_pm.o
+= -march
=armv7-a
16 CFLAGS_REMOVE_tc2_pm.o
= -pg
17 obj-
$(CONFIG_SMP
) += platsmp.o
18 obj-
$(CONFIG_HOTPLUG_CPU
) += hotplug.o
20 obj-
$(CONFIG_ARCH_MPS2
) += v2m-mps2.o
