1*59bd54a8SKuppuswamy Sathyanarayanan# SPDX-License-Identifier: GPL-2.0 2*59bd54a8SKuppuswamy Sathyanarayanan 3*59bd54a8SKuppuswamy Sathyanarayananobj-y += tdx.o 4