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