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.
12