1config TDX_GUEST_DRIVER
2	tristate "TDX Guest driver"
3	depends on INTEL_TDX_GUEST
4	help
5	  The driver provides userspace interface to communicate with
6	  the TDX module to request the TDX guest details like attestation
7	  report.
8
9	  To compile this driver as module, choose M here. The module will
10	  be called tdx-guest.
11