Xen devel - Aug 2012 - [PATCH 1/2] Nested: Don't set bit 55 in IA32_VMX_BASIC_MSR

If this information is useful, please help other people find it:
Share via: