diff --git a/framework/libs/tdx-guest/src/asm/mod.rs b/framework/libs/tdx-guest/src/asm/mod.rs index 1eaf81a83..c9884c97a 100644 --- a/framework/libs/tdx-guest/src/asm/mod.rs +++ b/framework/libs/tdx-guest/src/asm/mod.rs @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: BSD-3-Clause +// Copyright(c) 2023-2024 Intel Corporation. + use crate::{tdcall::TdcallArgs, tdvmcall::TdVmcallArgs}; use core::arch::global_asm; diff --git a/framework/libs/tdx-guest/src/asm/tdcall.asm b/framework/libs/tdx-guest/src/asm/tdcall.asm index 2d0d54e25..77de60dfd 100644 --- a/framework/libs/tdx-guest/src/asm/tdcall.asm +++ b/framework/libs/tdx-guest/src/asm/tdcall.asm @@ -1,3 +1,6 @@ +# SPDX-License-Identifier: BSD-3-Clause +# Copyright(c) 2023-2024 Intel Corporation. + .section .text # Arguments offsets in TdVmcallArgs struct diff --git a/framework/libs/tdx-guest/src/asm/tdvmcall.asm b/framework/libs/tdx-guest/src/asm/tdvmcall.asm index dba18d072..fb4722110 100644 --- a/framework/libs/tdx-guest/src/asm/tdvmcall.asm +++ b/framework/libs/tdx-guest/src/asm/tdvmcall.asm @@ -1,3 +1,6 @@ +# SPDX-License-Identifier: BSD-3-Clause +# Copyright(c) 2023-2024 Intel Corporation. + .section .text # Mask used to control which part of the guest TD GPR and XMM diff --git a/framework/libs/tdx-guest/src/lib.rs b/framework/libs/tdx-guest/src/lib.rs index 68cd6e29b..6b32e65c7 100644 --- a/framework/libs/tdx-guest/src/lib.rs +++ b/framework/libs/tdx-guest/src/lib.rs @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: BSD-3-Clause +// Copyright(c) 2023-2024 Intel Corporation. + #![no_std] #![allow(dead_code)] #![allow(unused_variables)] diff --git a/framework/libs/tdx-guest/src/tdcall.rs b/framework/libs/tdx-guest/src/tdcall.rs index 409e34f35..fc99b71aa 100644 --- a/framework/libs/tdx-guest/src/tdcall.rs +++ b/framework/libs/tdx-guest/src/tdcall.rs @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: BSD-3-Clause +// Copyright(c) 2023-2024 Intel Corporation. + //! The TDCALL instruction causes a VM exit to the Intel TDX module. //! It is used to call guest-side Intel TDX functions. For more information about //! TDCALL, please refer to the [IntelĀ® TDX Module v1.5 ABI Specification](https://cdrdv2.intel.com/v1/dl/getContent/733579) diff --git a/framework/libs/tdx-guest/src/tdvmcall.rs b/framework/libs/tdx-guest/src/tdvmcall.rs index 7ccc418a9..f3477110d 100644 --- a/framework/libs/tdx-guest/src/tdvmcall.rs +++ b/framework/libs/tdx-guest/src/tdvmcall.rs @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: BSD-3-Clause +// Copyright(c) 2023-2024 Intel Corporation. + //! The TDVMCALL helps invoke services from the host VMM. From the perspective of the host VMM, the TDVMCALL is a trap-like, VM exit into //! the host VMM, reported via the SEAMRET instruction flow. //! By design, after the SEAMRET, the host VMM services the request specified in the parameters