Messages in this thread | | | Subject | Re: [PATCH v3 02/11] x86/tdx: Introduce INTEL_TDX_GUEST config option | From | Juergen Gross <> | Date | Sat, 19 Jun 2021 13:59:08 +0200 |
| |
On 19.06.21 00:57, Kuppuswamy Sathyanarayanan wrote: > Add INTEL_TDX_GUEST config option to selectively compile > TDX guest support. > > Signed-off-by: Kuppuswamy Sathyanarayanan <sathyanarayanan.kuppuswamy@linux.intel.com> > Reviewed-by: Andi Kleen <ak@linux.intel.com> > Reviewed-by: Tony Luck <tony.luck@intel.com> > --- > arch/x86/Kconfig | 15 +++++++++++++++ > 1 file changed, 15 insertions(+) > > diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig > index 0045e1b44190..ff79263aebd1 100644 > --- a/arch/x86/Kconfig > +++ b/arch/x86/Kconfig > @@ -876,6 +876,21 @@ config ACRN_GUEST > IOT with small footprint and real-time features. More details can be > found in https://projectacrn.org/. > > +config INTEL_TDX_GUEST > + bool "Intel Trusted Domain eXtensions Guest Support" > + depends on X86_64 && CPU_SUP_INTEL && PARAVIRT > + depends on SECURITY > + select PARAVIRT_XL
PARAVIRT_XL? Didn't you drop that?
Juergen [unhandled content-type:application/pgp-keys][unhandled content-type:application/pgp-signature] | |