HOME


Mini Shell 1.0
DIR:/usr/src/kernels/5.14.0-503.34.1.el9_5.x86_64/arch/x86/coco/tdx/
Upload File :
Current File : //usr/src/kernels/5.14.0-503.34.1.el9_5.x86_64/arch/x86/coco/tdx/Makefile
# SPDX-License-Identifier: GPL-2.0

obj-y += tdx.o tdx-shared.o tdcall.o