Sign in
gbmc
/
linux
/
ca81e74dc34734078d34485d4aa123561ba75b15
/
.
/
drivers
/
virt
/
coco
/
tdx-guest
/
Makefile
blob: 775cb463f9c87624ac1ea3e8af610933a5469b56 [
file
]
# SPDX-License-Identifier: GPL-2.0
obj
-
$
(
CONFIG_TDX_GUEST_DRIVER
)
+=
tdx
-
guest
.
o
