1# SPDX-License-Identifier: GPL-2.0 2obj-y := keystone.o smc.o 3 4plus_sec := $(call as-instr,.arch_extension sec,+sec) 5AFLAGS_smc.o :=-Wa,-march=armv7-a$(plus_sec) 6 7obj-$(CONFIG_SMP) += platsmp.o 8 9# PM domain driver for Keystone SOCs 10obj-$(CONFIG_ARCH_KEYSTONE) += pm_domain.o 11