# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for the linux kernel.
#

# versatile
obj-$(CONFIG_ARCH_VERSATILE)  += versatile.o

# integrator
obj-$(CONFIG_ARCH_INTEGRATOR)  += integrator.o
obj-$(CONFIG_ARCH_INTEGRATOR_AP) += integrator_ap.o
obj-$(CONFIG_ARCH_INTEGRATOR_CP) += integrator_cp.o

# realview
obj-$(CONFIG_ARCH_REALVIEW)  += realview.o

# vexpress
obj-$(CONFIG_ARCH_VEXPRESS)  := v2m.o
obj-$(CONFIG_ARCH_VEXPRESS_SPC)  += spc.o
CFLAGS_REMOVE_spc.o   = -pg
obj-$(CONFIG_ARCH_VEXPRESS_TC2_PM) += tc2_pm.o
CFLAGS_tc2_pm.o    += -march=armv7-a
CFLAGS_REMOVE_tc2_pm.o   = -pg

# mps2
obj-$(CONFIG_ARCH_MPS2)   += v2m-mps2.o

ifdef CONFIG_SMP
obj-y     += headsmp.o platsmp.o
obj-$(CONFIG_ARCH_REALVIEW)  += platsmp-realview.o
obj-$(CONFIG_ARCH_VEXPRESS)  += platsmp-vexpress.o
obj-$(CONFIG_HOTPLUG_CPU)  += hotplug.o
endif