1# SPDX-License-Identifier: GPL-2.0-only 2AFLAGS_headsmp.o += -march=armv7-a 3 4obj-$(CONFIG_ARCH_WPCM450) += wpcm450.o 5obj-$(CONFIG_ARCH_NPCM7XX) += npcm7xx.o 6obj-$(CONFIG_SMP) += platsmp.o headsmp.o 7