blob: 775cb463f9c87624ac1ea3e8af610933a5469b56 [file] [log] [blame] [edit]
# SPDX-License-Identifier: GPL-2.0
obj-$(CONFIG_TDX_GUEST_DRIVER) += tdx-guest.o