Kconfig

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