# SPDX-License-Identifier: GPL-2.0

obj-$(CONFIG_ARM_SCPI_PROTOCOL)	+= scpi.o
obj-$(CONFIG_ARM_SDE_INTERFACE)	+= sdei.o
obj-$(CONFIG_ARM_SDEI_NMI)	+= sdei_nmi.o

obj-y				+= ffa/
obj-y				+= psci/
obj-y				+= rmm/
obj-y				+= scmi/
obj-y				+= smccc/
