x86: Make the boot state VMX compliant
authorAndreas Sandberg <andreas@sandberg.pp.se>
Tue, 18 Jun 2013 14:27:28 +0000 (16:27 +0200)
committerAndreas Sandberg <andreas@sandberg.pp.se>
Tue, 18 Jun 2013 14:27:28 +0000 (16:27 +0200)
commit688fc7f71f3321225f6334a1caa380115f506ce9
tree26f08b972efcb2091aba0a07ec47c65adc5c7a29
parent5d584934ada15446123d5dc97a9de820a87fd4cf
x86: Make the boot state VMX compliant

This patch allows the default x86 state to be used when by CPUs that
use hardware virtualization.
src/arch/x86/system.cc