Hi, Michael & Liming & Zhiguang I am doing the TDVF upstreaming and this commit is in MdeModulePkg. You're the maintainer/reviewer of MdeModulePkg. Your comments to this patch is great helpful. The complete code is at: https://github.com/mxu9/edk2/tree/tdvf_wave2.v6
Thanks Min > > RFC: https://bugzilla.tianocore.org/show_bug.cgi?id=3429 > > TdxLib is created with functions to perform the related Tdx operation. > This includes functions for: > - TdAcceptPages : Accept pending private pages and initialize the pages > to all-0 using the TD ephemeral private key. > - TdExtendRtmr : Extend measurement to one of the RTMR registers. > - TdSharedPageMask: Get the Td guest shared page mask which indicates it > is a Shared or Private page. > - TdMaxVCpuNum : Get the maximum number of virtual CPUs. > - TdVCpuNum : Get the number of virtual CPUs. > > Cc: Michael D Kinney <michael.d.kin...@intel.com> > Cc: Liming Gao <gaolim...@byosoft.com.cn> > Cc: Zhiguang Liu <zhiguang....@intel.com> > Cc: Brijesh Singh <brijesh.si...@amd.com> > Cc: Erdem Aktas <erdemak...@google.com> > Cc: James Bottomley <j...@linux.ibm.com> > Cc: Jiewen Yao <jiewen....@intel.com> > Cc: Tom Lendacky <thomas.lenda...@amd.com> > Cc: Gerd Hoffmann <kra...@redhat.com> > Acked-by: Gerd Hoffmann <kra...@redhat.com> > Signed-off-by: Min Xu <min.m...@intel.com> > --- > MdePkg/Include/Library/TdxLib.h | 97 +++++++++++++++ > MdePkg/Library/TdxLib/AcceptPages.c | 180 > ++++++++++++++++++++++++++++ > MdePkg/Library/TdxLib/Rtmr.c | 83 +++++++++++++ > MdePkg/Library/TdxLib/TdInfo.c | 114 ++++++++++++++++++ > MdePkg/Library/TdxLib/TdxLib.inf | 37 ++++++ > MdePkg/Library/TdxLib/TdxLibNull.c | 107 +++++++++++++++++ > MdePkg/MdePkg.dec | 3 + > MdePkg/MdePkg.dsc | 1 + > 8 files changed, 622 insertions(+) > create mode 100644 MdePkg/Include/Library/TdxLib.h create mode 100644 > MdePkg/Library/TdxLib/AcceptPages.c > create mode 100644 MdePkg/Library/TdxLib/Rtmr.c create mode 100644 > MdePkg/Library/TdxLib/TdInfo.c create mode 100644 > MdePkg/Library/TdxLib/TdxLib.inf create mode 100644 > MdePkg/Library/TdxLib/TdxLibNull.c > > diff --git a/MdePkg/Include/Library/TdxLib.h > b/MdePkg/Include/Library/TdxLib.h new file mode 100644 index > 000000000000..86539460c9f9 > --- /dev/null > +++ b/MdePkg/Include/Library/TdxLib.h > @@ -0,0 +1,97 @@ > +/** @file > + TdxLib definitions > + > + Copyright (c) 2020 - 2021, Intel Corporation. All rights > + reserved.<BR> > + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#ifndef TDX_LIB_H_ > +#define TDX_LIB_H_ > + > +#include <Library/BaseLib.h> > +#include <Library/DebugLib.h> > +#include <Uefi/UefiBaseType.h> > +#include <Protocol/DebugSupport.h> > + > +/** > + This function accepts a pending private page, and initialize the page > +to > + all-0 using the TD ephemeral private key. > + > + @param[in] StartAddress Guest physical address of the private page > + to accept. [63:52] and [11:0] must be 0. > + @param[in] NumberOfPages Number of the pages to be accepted. > + @param[in] PageSize GPA page size. Accept 2M/4K page size. > + > + @return EFI_SUCCESS > +**/ > +EFI_STATUS > +EFIAPI > +TdAcceptPages ( > + IN UINT64 StartAddress, > + IN UINT64 NumberOfPages, > + IN UINT32 PageSize > + ); > + > +/** > + This function extends one of the RTMR measurement register > + in TDCS with the provided extension data in memory. > + RTMR extending supports SHA384 which length is 48 bytes. > + > + @param[in] Data Point to the data to be extended > + @param[in] DataLen Length of the data. Must be 48 > + @param[in] Index RTMR index > + > + @return EFI_SUCCESS > + @return EFI_INVALID_PARAMETER > + @return EFI_DEVICE_ERROR > + > +**/ > +EFI_STATUS > +EFIAPI > +TdExtendRtmr ( > + IN UINT32 *Data, > + IN UINT32 DataLen, > + IN UINT8 Index > + ); > + > +/** > + This function gets the Td guest shared page mask. > + > + The guest indicates if a page is shared using the Guest Physical > + Address > + (GPA) Shared (S) bit. If the GPA Width(GPAW) is 48, the S-bit is bit-47. > + If the GPAW is 52, the S-bit is bit-51. > + > + @return Shared page bit mask > +**/ > +UINT64 > +EFIAPI > +TdSharedPageMask ( > + VOID > + ); > + > +/** > + This function gets the maximum number of Virtual CPUs that are usable > +for > + Td Guest. > + > + @return maximum Virtual CPUs number > +**/ > +UINT32 > +EFIAPI > +TdMaxVCpuNum ( > + VOID > + ); > + > +/** > + This function gets the number of Virtual CPUs that are usable for Td > + Guest. > + > + @return Virtual CPUs number > +**/ > +UINT32 > +EFIAPI > +TdVCpuNum ( > + VOID > + ); > + > +#endif > diff --git a/MdePkg/Library/TdxLib/AcceptPages.c > b/MdePkg/Library/TdxLib/AcceptPages.c > new file mode 100644 > index 000000000000..651d47a8d8a1 > --- /dev/null > +++ b/MdePkg/Library/TdxLib/AcceptPages.c > @@ -0,0 +1,180 @@ > +/** @file > + > + Unaccepted memory is a special type of private memory. In Td guest > + TDCALL [TDG.MEM.PAGE.ACCEPT] is invoked to accept the unaccepted > + memory before use it. > + > + Copyright (c) 2020 - 2021, Intel Corporation. All rights > + reserved.<BR> > + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#include <Library/BaseLib.h> > +#include <Library/DebugLib.h> > +#include <IndustryStandard/Tdx.h> > +#include <Library/TdxLib.h> > +#include <Library/BaseMemoryLib.h> > + > +UINT64 mNumberOfDuplicatedAcceptedPages; > + > +#define TDX_ACCEPTPAGE_MAX_RETRIED 3 > + > +// PageSize is mapped to PageLevel like below: > +// 4KB - 0, 2MB - 1 > +UINT32 mTdxAcceptPageLevelMap[2] = { > + SIZE_4KB, > + SIZE_2MB > +}; > + > +#define INVALID_ACCEPT_PAGELEVEL > ARRAY_SIZE(mTdxAcceptPageLevelMap) > + > +/** > + This function gets the PageLevel according to the input page size. > + > + @param[in] PageSize Page size > + > + @return UINT32 The mapped page level > +**/ > +UINT32 > +GetGpaPageLevel ( > + UINT32 PageSize > + ) > +{ > + UINT32 Index; > + > + for (Index = 0; Index < ARRAY_SIZE (mTdxAcceptPageLevelMap); Index++) { > + if (mTdxAcceptPageLevelMap[Index] == PageSize) { > + break; > + } > + } > + > + return Index; > +} > + > +/** > + This function accept a pending private page, and initialize the page > +to > + all-0 using the TD ephemeral private key. > + > + Sometimes TDCALL [TDG.MEM.PAGE.ACCEPT] may return > + TDX_EXIT_REASON_PAGE_SIZE_MISMATCH. It indicates the input PageLevel > + is not workable. In this case we need to try to fallback to a smaller > + PageLevel if possible. > + > + @param[in] StartAddress Guest physical address of the private > + page to accept. [63:52] and [11:0] must be 0. > + @param[in] NumberOfPages Number of the pages to be accepted. > + @param[in] PageSize GPA page size. Only accept 2M/4K size. > + > + @return EFI_SUCCESS Accept successfully > + @return others Indicate other errors > +**/ > +EFI_STATUS > +EFIAPI > +TdAcceptPages ( > + IN UINT64 StartAddress, > + IN UINT64 NumberOfPages, > + IN UINT32 PageSize > + ) > +{ > + EFI_STATUS Status; > + UINT64 Address; > + UINT64 TdxStatus; > + UINT64 Index; > + UINT32 GpaPageLevel; > + UINT32 PageSize2; > + UINTN Retried; > + > + Retried = 0; > + > + if ((StartAddress & ~0xFFFFFFFFFF000ULL) != 0) { > + ASSERT (FALSE); > + DEBUG ((DEBUG_ERROR, "Accept page address(0x%llx) is not valid. [63:52] > and [11:0] must be 0\n", StartAddress)); > + return EFI_INVALID_PARAMETER; > + } > + > + Address = StartAddress; > + > + GpaPageLevel = GetGpaPageLevel (PageSize); if (GpaPageLevel == > + INVALID_ACCEPT_PAGELEVEL) { > + ASSERT (FALSE); > + DEBUG ((DEBUG_ERROR, "Accept page size must be 4K/2M. Invalid page > size - 0x%llx\n", PageSize)); > + return EFI_INVALID_PARAMETER; > + } > + > + Status = EFI_SUCCESS; > + for (Index = 0; Index < NumberOfPages; Index++) { > + Retried = 0; > + > +DoAcceptPage: > + TdxStatus = TdCall (TDCALL_TDACCEPTPAGE, Address | GpaPageLevel, 0, > 0, 0); > + if (TdxStatus != TDX_EXIT_REASON_SUCCESS) { > + if ((TdxStatus & ~0xFFFFULL) == > TDX_EXIT_REASON_PAGE_ALREADY_ACCEPTED) { > + // > + // Already accepted > + // > + mNumberOfDuplicatedAcceptedPages++; > + DEBUG ((DEBUG_WARN, "Page at Address (0x%llx) has already been > accepted. - %d\n", Address, mNumberOfDuplicatedAcceptedPages)); > + } else if ((TdxStatus & ~0xFFFFULL) == > TDX_EXIT_REASON_PAGE_SIZE_MISMATCH) { > + // > + // GpaPageLevel is mismatch, fall back to a smaller GpaPageLevel if > possible > + // > + DEBUG ((DEBUG_VERBOSE, "Address %llx cannot be accepted in > +PageLevel of %d\n", Address, GpaPageLevel)); > + > + if (GpaPageLevel == 0) { > + // > + // Cannot fall back to smaller page level > + // > + DEBUG ((DEBUG_ERROR, "AcceptPage cannot fallback from > PageLevel %d\n", GpaPageLevel)); > + Status = EFI_INVALID_PARAMETER; > + break; > + } else { > + // > + // Fall back to a smaller page size > + // > + PageSize2 = mTdxAcceptPageLevelMap[GpaPageLevel - 1]; > + Status = TdAcceptPages (Address, 512, PageSize2); > + if (EFI_ERROR (Status)) { > + break; > + } > + } > + } else if ((TdxStatus & ~0xFFFFULL) == > TDX_EXIT_REASON_OPERAND_BUSY) { > + // > + // Concurrent TDG.MEM.PAGE.ACCEPT is using the same Secure EPT > entry > + // So try it again. There is a max retried count. If Retried exceeds > the > max count, > + // report the error and quit. > + // > + Retried += 1; > + if (Retried > TDX_ACCEPTPAGE_MAX_RETRIED) { > + DEBUG (( > + DEBUG_ERROR, > + "Address %llx (%d) failed to be accepted because of OPERAND_BUSY. > Retried %d time.\n", > + Address, > + Index, > + Retried > + )); > + Status = EFI_INVALID_PARAMETER; > + break; > + } else { > + goto DoAcceptPage; > + } > + } else { > + // > + // Other errors > + // > + DEBUG (( > + DEBUG_ERROR, > + "Address %llx (%d) failed to be accepted. Error = 0x%llx\n", > + Address, > + Index, > + TdxStatus > + )); > + Status = EFI_INVALID_PARAMETER; > + break; > + } > + } > + > + Address += PageSize; > + } > + > + return Status; > +} > diff --git a/MdePkg/Library/TdxLib/Rtmr.c b/MdePkg/Library/TdxLib/Rtmr.c > new file mode 100644 index 000000000000..bdc91b3ebe6a > --- /dev/null > +++ b/MdePkg/Library/TdxLib/Rtmr.c > @@ -0,0 +1,83 @@ > +/** @file > + > + Extends one of the RTMR measurement registers in TDCS with the > + provided extension data in memory. > + > + Copyright (c) 2020 - 2021, Intel Corporation. All rights > + reserved.<BR> > + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#include <Library/BaseLib.h> > +#include <Library/DebugLib.h> > +#include <Library/TdxLib.h> > +#include <Library/BaseMemoryLib.h> > +#include <IndustryStandard/Tpm20.h> > +#include <IndustryStandard/Tdx.h> > + > +#define RTMR_COUNT 4 > +#define TD_EXTEND_BUFFER_LEN (64 + 48) > + > +UINT8 mExtendBuffer[TD_EXTEND_BUFFER_LEN]; > + > +/** > + This function extends one of the RTMR measurement register > + in TDCS with the provided extension data in memory. > + RTMR extending supports SHA384 which length is 48 bytes. > + > + @param[in] Data Point to the data to be extended > + @param[in] DataLen Length of the data. Must be 48 > + @param[in] Index RTMR index > + > + @return EFI_SUCCESS > + @return EFI_INVALID_PARAMETER > + @return EFI_DEVICE_ERROR > + > +**/ > +EFI_STATUS > +EFIAPI > +TdExtendRtmr ( > + IN UINT32 *Data, > + IN UINT32 DataLen, > + IN UINT8 Index > + ) > +{ > + EFI_STATUS Status; > + UINT64 TdCallStatus; > + UINT8 *ExtendBuffer; > + > + Status = EFI_SUCCESS; > + > + ASSERT (Data != NULL); > + ASSERT (DataLen == SHA384_DIGEST_SIZE); ASSERT (Index >= 0 && Index > + < RTMR_COUNT); > + > + if ((Data == NULL) || (DataLen != SHA384_DIGEST_SIZE) || (Index >= > RTMR_COUNT)) { > + return EFI_INVALID_PARAMETER; > + } > + > + // TD.RTMR.EXTEND requires 64B-aligned guest physical address of // > + 48B-extension data. We use ALIGN_POINTER(Pointer, 64) to get // the > + 64B-aligned guest physical address. > + ExtendBuffer = ALIGN_POINTER (mExtendBuffer, 64); ASSERT > + (((UINTN)ExtendBuffer & 0x3f) == 0); > + > + ZeroMem (ExtendBuffer, SHA384_DIGEST_SIZE); CopyMem (ExtendBuffer, > + Data, SHA384_DIGEST_SIZE); > + > + TdCallStatus = TdCall (TDCALL_TDEXTENDRTMR, > + (UINT64)(UINTN)ExtendBuffer, Index, 0, 0); > + > + if (TdCallStatus == TDX_EXIT_REASON_SUCCESS) { > + Status = EFI_SUCCESS; > + } else if (TdCallStatus == TDX_EXIT_REASON_OPERAND_INVALID) { > + Status = EFI_INVALID_PARAMETER; > + } else { > + Status = EFI_DEVICE_ERROR; > + } > + > + if (Status != EFI_SUCCESS) { > + DEBUG ((DEBUG_ERROR, "Error returned from TdExtendRtmr call - > + 0x%lx\n", TdCallStatus)); } > + > + return Status; > +} > diff --git a/MdePkg/Library/TdxLib/TdInfo.c > b/MdePkg/Library/TdxLib/TdInfo.c new file mode 100644 index > 000000000000..a40a15116f30 > --- /dev/null > +++ b/MdePkg/Library/TdxLib/TdInfo.c > @@ -0,0 +1,114 @@ > +/** @file > + > + Fetch the Tdx info. > + > + Copyright (c) 2021, Intel Corporation. All rights reserved.<BR> > + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#include <Library/BaseLib.h> > +#include <Library/DebugLib.h> > +#include <IndustryStandard/Tdx.h> > +#include <Library/TdxLib.h> > +#include <Library/BaseMemoryLib.h> > + > +UINT64 mTdSharedPageMask = 0; > +UINT32 mTdMaxVCpuNum = 0; > +UINT32 mTdVCpuNum = 0; > +BOOLEAN mTdDataReturned = FALSE; > + > +/** > + This function call TDCALL_TDINFO to get the TD_RETURN_DATA. > + If the TDCALL is successful, populate below variables: > + - mTdSharedPageMask > + - mTdMaxVCpunum > + - mTdVCpuNum > + - mTdDataReturned > + > + @return TRUE The TDCALL is successful and above variables are > populated. > + @return FALSE The TDCALL is failed. Above variables are not set. > +**/ > +BOOLEAN > +GetTdInfo ( > + VOID > + ) > +{ > + UINT64 Status; > + TD_RETURN_DATA TdReturnData; > + UINT8 Gpaw; > + > + Status = TdCall (TDCALL_TDINFO, 0, 0, 0, &TdReturnData); if (Status > + == TDX_EXIT_REASON_SUCCESS) { > + Gpaw = (UINT8)(TdReturnData.TdInfo.Gpaw & 0x3f); > + mTdSharedPageMask = 1ULL << (Gpaw - 1); > + mTdMaxVCpuNum = TdReturnData.TdInfo.MaxVcpus; > + mTdVCpuNum = TdReturnData.TdInfo.NumVcpus; > + mTdDataReturned = TRUE; > + } else { > + DEBUG ((DEBUG_ERROR, "Failed call TDCALL_TDINFO. %llx\n", Status)); > + mTdDataReturned = FALSE; > + } > + > + return mTdDataReturned; > +} > + > +/** > + This function gets the Td guest shared page mask. > + > + The guest indicates if a page is shared using the Guest Physical > + Address > + (GPA) Shared (S) bit. If the GPA Width(GPAW) is 48, the S-bit is bit-47. > + If the GPAW is 52, the S-bit is bit-51. > + > + @return Shared page bit mask > +**/ > +UINT64 > +EFIAPI > +TdSharedPageMask ( > + VOID > + ) > +{ > + if (mTdDataReturned) { > + return mTdSharedPageMask; > + } > + > + return GetTdInfo () ? mTdSharedPageMask : 0; } > + > +/** > + This function gets the maximum number of Virtual CPUs that are usable > +for > + Td Guest. > + > + @return maximum Virtual CPUs number > +**/ > +UINT32 > +EFIAPI > +TdMaxVCpuNum ( > + VOID > + ) > +{ > + if (mTdDataReturned) { > + return mTdMaxVCpuNum; > + } > + > + return GetTdInfo () ? mTdMaxVCpuNum : 0; } > + > +/** > + This function gets the number of Virtual CPUs that are usable for Td > + Guest. > + > + @return Virtual CPUs number > +**/ > +UINT32 > +EFIAPI > +TdVCpuNum ( > + VOID > + ) > +{ > + if (mTdDataReturned) { > + return mTdVCpuNum; > + } > + > + return GetTdInfo () ? mTdVCpuNum : 0; } > diff --git a/MdePkg/Library/TdxLib/TdxLib.inf > b/MdePkg/Library/TdxLib/TdxLib.inf > new file mode 100644 > index 000000000000..442e63d079da > --- /dev/null > +++ b/MdePkg/Library/TdxLib/TdxLib.inf > @@ -0,0 +1,37 @@ > +## @file > +# Tdx library > +# > +# Copyright (c) 2020 - 2021, Intel Corporation. All rights > +reserved.<BR> # SPDX-License-Identifier: BSD-2-Clause-Patent # ## > + > +[Defines] > + INF_VERSION = 0x00010005 > + BASE_NAME = TdxLib > + FILE_GUID = 032A8E0D-0C27-40C0-9CAA-23B731C1B223 > + MODULE_TYPE = BASE > + VERSION_STRING = 1.0 > + LIBRARY_CLASS = TdxLib > + > +# > +# The following information is for reference only and not required by the > build tools. > +# > +# VALID_ARCHITECTURES = IA32 X64 > +# > + > +[Sources.IA32] > + TdxLibNull.c > + > +[Sources.X64] > + AcceptPages.c > + Rtmr.c > + TdInfo.c > + > +[Packages] > + MdePkg/MdePkg.dec > + > +[LibraryClasses] > + BaseLib > + BaseMemoryLib > + DebugLib > diff --git a/MdePkg/Library/TdxLib/TdxLibNull.c > b/MdePkg/Library/TdxLib/TdxLibNull.c > new file mode 100644 > index 000000000000..83ab929b4a3b > --- /dev/null > +++ b/MdePkg/Library/TdxLib/TdxLibNull.c > @@ -0,0 +1,107 @@ > +/** @file > + > + Null stub of TdxLib > + > + Copyright (c) 2021, Intel Corporation. All rights reserved.<BR> > + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#include <Library/BaseLib.h> > +#include <Library/DebugLib.h> > +#include <Library/TdxLib.h> > + > +/** > + This function accepts a pending private page, and initialize the page > +to > + all-0 using the TD ephemeral private key. > + > + @param[in] StartAddress Guest physical address of the private page > + to accept. > + @param[in] NumberOfPages Number of the pages to be accepted. > + @param[in] PageSize GPA page size. Accept 1G/2M/4K page size. > + > + @return EFI_SUCCESS > +**/ > +EFI_STATUS > +EFIAPI > +TdAcceptPages ( > + IN UINT64 StartAddress, > + IN UINT64 NumberOfPages, > + IN UINT32 PageSize > + ) > +{ > + return EFI_UNSUPPORTED; > +} > + > +/** > + This function extends one of the RTMR measurement register > + in TDCS with the provided extension data in memory. > + RTMR extending supports SHA384 which length is 48 bytes. > + > + @param[in] Data Point to the data to be extended > + @param[in] DataLen Length of the data. Must be 48 > + @param[in] Index RTMR index > + > + @return EFI_SUCCESS > + @return EFI_INVALID_PARAMETER > + @return EFI_DEVICE_ERROR > + > +**/ > +EFI_STATUS > +EFIAPI > +TdExtendRtmr ( > + IN UINT32 *Data, > + IN UINT32 DataLen, > + IN UINT8 Index > + ) > +{ > + return EFI_UNSUPPORTED; > +} > + > +/** > + This function gets the Td guest shared page mask. > + > + The guest indicates if a page is shared using the Guest Physical > + Address > + (GPA) Shared (S) bit. If the GPA Width(GPAW) is 48, the S-bit is bit-47. > + If the GPAW is 52, the S-bit is bit-51. > + > + @return Shared page bit mask > +**/ > +UINT64 > +EFIAPI > +TdSharedPageMask ( > + VOID > + ) > +{ > + return 0; > +} > + > +/** > + This function gets the maximum number of Virtual CPUs that are usable > +for > + Td Guest. > + > + @return maximum Virtual CPUs number > +**/ > +UINT32 > +EFIAPI > +TdMaxVCpuNum ( > + VOID > + ) > +{ > + return 0; > +} > + > +/** > + This function gets the number of Virtual CPUs that are usable for Td > + Guest. > + > + @return Virtual CPUs number > +**/ > +UINT32 > +EFIAPI > +TdVCpuNum ( > + VOID > + ) > +{ > + return 0; > +} > diff --git a/MdePkg/MdePkg.dec b/MdePkg/MdePkg.dec index > 59b405928bf8..1934c9840423 100644 > --- a/MdePkg/MdePkg.dec > +++ b/MdePkg/MdePkg.dec > @@ -296,6 +296,9 @@ > ## @libraryclass Provides services to log the SMI handler registration. > SmiHandlerProfileLib|Include/Library/SmiHandlerProfileLib.h > > + ## @libraryclass Provides function to support TDX processing. > + TdxLib|Include/Library/TdxLib.h > + > [Guids] > # > # GUID defined in UEFI2.1/UEFI2.0/EFI1.1 diff --git a/MdePkg/MdePkg.dsc > b/MdePkg/MdePkg.dsc index a94959169b2f..d6a7af412be7 100644 > --- a/MdePkg/MdePkg.dsc > +++ b/MdePkg/MdePkg.dsc > @@ -175,6 +175,7 @@ > MdePkg/Library/SmiHandlerProfileLibNull/SmiHandlerProfileLibNull.inf > MdePkg/Library/MmServicesTableLib/MmServicesTableLib.inf > MdePkg/Library/MmUnblockMemoryLib/MmUnblockMemoryLibNull.inf > + MdePkg/Library/TdxLib/TdxLib.inf > > [Components.EBC] > MdePkg/Library/BaseIoLibIntrinsic/BaseIoLibIntrinsic.inf > -- > 2.29.2.windows.2 -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#86874): https://edk2.groups.io/g/devel/message/86874 Mute This Topic: https://groups.io/mt/89252022/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
