Initialize guest xcr0, save and restore xcr0 between guest and Akaros
authorMichael Taufen <mtaufen@gmail.com>
Mon, 22 Feb 2016 22:42:31 +0000 (14:42 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 26 Feb 2016 16:28:20 +0000 (11:28 -0500)
commit418b8deaa4c3c0a1bdfac04be2be61000ea0aadb
tree7d6bbb9addad81e2f5050207c788369a824f8497
parent3a83f0c4768268aba7a23125c13d47ee04a99af1
Initialize guest xcr0, save and restore xcr0 between guest and Akaros

Signed-off-by: Michael Taufen <mtaufen@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/vmm.c