Sign in
gbmc
/
linux
/
cbcb9b5bc9804c2e803f00a460c212f9a0bbdb0d
/
.
/
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
