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_SPC) += spc.o 20CFLAGS_REMOVE_spc.o = -pg 21obj-$(CONFIG_ARCH_VEXPRESS_TC2_PM) += tc2_pm.o 22CFLAGS_tc2_pm.o += -march=armv7-a 23CFLAGS_REMOVE_tc2_pm.o = -pg 24 25# mps2 26obj-$(CONFIG_ARCH_MPS2) += v2m-mps2.o 27 28ifdef CONFIG_SMP 29obj-y += headsmp.o platsmp.o 30obj-$(CONFIG_ARCH_REALVIEW) += platsmp-realview.o 31obj-$(CONFIG_ARCH_VEXPRESS) += platsmp-vexpress.o 32obj-$(CONFIG_HOTPLUG_CPU) += hotplug.o 33endif 34