Makefile

   1 # SPDX-License-Identifier: GPL-2.0
   2 #
   3 obj-$(CONFIG_HAVE_ARM_SMCCC_DISCOVERY)  += smccc.o kvm_guest.o
   4 obj-$(CONFIG_ARM_SMCCC_SOC_ID)  += soc_id.o