On Tue, May 04, 2010 at 03:53:57AM -0400, Avi Kivity wrote:
Ok. I will post an initial fix for the VMEXIT_INVALID bug soon. Apart
from that I get a lockdep warning when I try to start a guest. The guest
actually boots if it is single-vcpu. SMP guests don't even boot through
the BIOS for me.
Joerg
--