# SPDX-License-Identifier: GPL-2.0

ccflags-y += -I$(srctree)/arch/x86/kvm

obj-$(CONFIG_KVM_INTEL_TDX) += seam/seamldr.o seam/seamloader.o seam/tdx.o
