xref: /linux/arch/x86/coco/tdx/Makefile (revision 1260ed77798502de9c98020040d2995008de10cc)
159bd54a8SKuppuswamy Sathyanarayanan# SPDX-License-Identifier: GPL-2.0
259bd54a8SKuppuswamy Sathyanarayanan
3*564ea84cSKirill A. Shutemovobj-y += debug.o tdcall.o tdx.o tdx-shared.o
4