TDX Guest driver

modulename: tdx-guest.ko

configname: CONFIG_TDX_GUEST_DRIVER

Linux Kernel Configuration
└─>Device Drivers
└─>Virtualization drivers
└─>TDX Guest driver
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
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.

source code: