Sign in
cos
/
third_party
/
kernel
/
d73be6b341a42c313a617f487dbaeeea9aece079
/
.
/
drivers
/
virt
/
coco
/
tdx-guest
/
Makefile
blob: 775cb463f9c87624ac1ea3e8af610933a5469b56 [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: GPL-2.0
obj
-
$
(
CONFIG_TDX_GUEST_DRIVER
)
+=
tdx
-
guest
.
o
