Sign in
cos
/
third_party
/
kernel
/
88690811da69826fdb59d908a6e5e9d0c63b581a
/
.
/
arch
/
x86
/
coco
/
tdx
/
Makefile
blob: 46c55998557daf385f32d63733b530ea189e88be [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: GPL-2.0
obj
-
y
+=
tdx
.
o tdcall
.
o