ckotamra

For TDX-isolated VMs, implement VTL permissions for the target VTL when changing overlay for hypercall code page. For more info, refer to the implementation of change_hypercall_overlay() for isolation type IsolationType::Tdx...

Currently, monitor support is disabled for HW-isolated VMs as the VTL protections are not implemented for them. For more info, check the implementation of monitor_support() in /openhcl/virt_mshv_vtl/src/lib.rs

[TDX] Process Shared page EPT_VIOLATION exits in vmx handler as part of Guest VSM support

2

EPT violation of shared pages are received by L1 when the host VMM can’t handle them hence they are routed to L1 where intercept messages are checked and forwarded to...

TODO TDX comments were removed

5

TODO TDX comments were removed and corresponding issue items have been created. Closes #523