Aiden Leong
/
linux-6.14.2
/
drivers
/
virt
/
coco
/
tdx-guest
/
Makefile
1
2
3
# SPDX
-
License
-
Identifier: GPL
-
2.0
obj
-
$(CONFIG_TDX_GUEST_DRIVER)
+=
tdx
-
guest.o
若你早與他人兩心同 何苦惹我錯付了情衷
