On Tue, Aug 02, 2022 at 03:47:32PM +0800, Xiaoyao Li wrote: > TDX doesn't support map different GPAs to same private memory. Thus, > aliasing top 128KB of BIOS as isa-bios is not supported. > > On the other hand, TDX guest cannot go to real mode, it can work fine > without isa-bios. > > Signed-off-by: Xiaoyao Li <xiaoyao.li@xxxxxxxxx> Acked-by: Gerd Hoffmann <kraxel@xxxxxxxxxx>
