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