CONFIG_TDX_HOST_SERVICES (not configurable)

modulename: tdx-host.ko

configname: CONFIG_TDX_HOST_SERVICES

Linux Kernel Configuration
└─>Device Drivers
└─>TDX_HOST_SERVICES
In linux kernel since version 5.10.259 (release Date: 2026-06-19)
source code:
drivers/virt/coco/tdx-host/tdx-host.c