Initialize guest xcr0, save and restore xcr0 between guest and Akaros
[akaros.git] / kern / arch / x86 / vmm / intel / vmx.c
index 7d173af..90ee085 100644 (file)
@@ -1131,6 +1131,7 @@ struct guest_pcore *create_guest_pcore(struct proc *p,
        vmx_setup_vmcs(gpc);
        ret = vmx_setup_initial_guest_state(p, gpci);
        vmx_unload_guest_pcore(gpc);
+       gpc->xcr0 = x86_default_xcr0;
 
        gpc->posted_irq_desc = gpci->posted_irq_desc;