Balaji Masanamuthu Chinnathurai

TDX: Support VTL0 IOMMU posted interrupts + interrupt relay

2

Implements [tdx: Implement posted-interrupt support for DDA devices + relaying device interrupts from VTL2 to VTL0 #362](https://github.com/microsoft/openvmm/issues/362) Has dependency on OHCL kernel and Hype-V changes

tdx: Lazy page accept to improve boot times

1

Add support for lazy page accept (TDH.MEM.PAGE.ACCEPT) to improve TDX CVM boot times

tdx: use timer virtualization for lower VTLs

2

Implements https://github.com/microsoft/openvmm/issues/2028 This PR implements hardware timer virtualization for lower VTLs on TDX CVM usingL2-VM TSC deadline timer, an architectural capability provided by TDX module. This improves the CVM performance...

We observe a discrepancy in vCPU to core mapping between openhcl guests (both CVMs and non-CMVs) vs other VMs that doesn't use openhcl. This can lead to some performance issues...

tdx: Implement timer virtualization support using TDX L2 TSC deadline service

1

"L2 VM TSC Deadline Support" is a timer virtualization service for L2 (VTL0) offered by TDX partitioning architecture. This would be managed by L1 VMM (VTL2). We expect significant performance...