openvmm
openvmm copied to clipboard
[TDX] Add Guest VSM support when changing overlay for hypercall code page
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 in /openhcl/underhill_mem/src/lib.rs