Quelle  Kconfig   Sprache: C

config TDX_GUEST_DRIVER
 tristate "TDX Guest driver"
 depends on INTEL_TDX_GUEST
 select TSM_REPORTS
 select TSM_MEASUREMENTS
 help
   The driver provides userspace interface to communicate with
   the TDX module to request the TDX guest details like attestation
   report.

   To compile this driver as module, choose M here. The module will
   be called tdx-guest.