Aiden Leong
/
linux-6.14.3
/
drivers
/
virt
/
coco
/
tdx-guest
/
Makefile
1
2
3
# SPDX
-
License
-
Identifier: GPL
-
2.0
obj
-
$(CONFIG_TDX_GUEST_DRIVER)
+=
tdx
-
guest.o
我想我會開始想念你 可是我剛剛才遇見了你
