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