GNU Linux-libre 6.8.9-gnu
[releases.git] / drivers / firmware / smccc / 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