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