UbiquitousOS
/
OpenCloudOS-Kernel
mirror of https://gitee.com/OpenCloudOS/OpenCloudOS-Kernel.git
11
0
Fork 0
Code Issues Projects Releases Wiki Activity
OpenCloudOS-Kernel/arch/x86/coco/tdx/Makefile

4 lines
60 B
Makefile
Raw Blame History

# SPDX-License-Identifier: GPL-2.0
obj-y += tdx.o tdcall.o
Reference in New Issue View Git Blame Copy Permalink