On 12/8/22 22:52, Kai Huang wrote: > TDX capable platforms are locked to X2APIC mode and cannot fall back to > the legacy xAPIC mode when TDX is enabled by the BIOS. TDX host support > requires x2APIC. Make INTEL_TDX_HOST depend on X86_X2APIC. Reviewed-by: Dave Hansen <dave.hansen@xxxxxxxxxxxxxxx>