1# SPDX-License-Identifier: GPL-2.0-only
2#
3# Makefile for the linux kernel.
4#
5
6# versatile
7obj-$(CONFIG_ARCH_VERSATILE)		+= versatile.o
8
9# integrator
10obj-$(CONFIG_ARCH_INTEGRATOR)		+= integrator.o
11obj-$(CONFIG_ARCH_INTEGRATOR_AP)	+= integrator_ap.o
12obj-$(CONFIG_ARCH_INTEGRATOR_CP)	+= integrator_cp.o
13
14# realview
15obj-$(CONFIG_ARCH_REALVIEW)		+= realview.o
16
17# vexpress
18obj-$(CONFIG_ARCH_VEXPRESS)		:= v2m.o
19obj-$(CONFIG_ARCH_VEXPRESS_DCSCB)	+= dcscb.o	dcscb_setup.o
20CFLAGS_dcscb.o				+= -march=armv7-a
21CFLAGS_REMOVE_dcscb.o			= -pg
22obj-$(CONFIG_ARCH_VEXPRESS_SPC)		+= spc.o
23CFLAGS_REMOVE_spc.o			= -pg
24obj-$(CONFIG_ARCH_VEXPRESS_TC2_PM)	+= tc2_pm.o
25CFLAGS_tc2_pm.o				+= -march=armv7-a
26CFLAGS_REMOVE_tc2_pm.o			= -pg
27
28# mps2
29obj-$(CONFIG_ARCH_MPS2)			+= v2m-mps2.o
30
31ifdef CONFIG_SMP
32obj-y					+= headsmp.o platsmp.o
33obj-$(CONFIG_ARCH_REALVIEW)		+= platsmp-realview.o
34obj-$(CONFIG_ARCH_VEXPRESS)		+= platsmp-vexpress.o
35obj-$(CONFIG_HOTPLUG_CPU)		+= hotplug.o
36endif
37