1c33621b4SKai Huang# SPDX-License-Identifier: GPL-2.0-only 2*765a0542SKai Huangobj-y += seamcall.o tdx.o 3