Paolo Bonzini wrote: >> According to coredump, seems crash crashed at get_idt_base(). >> device_find_instance() fails to find "cpu" instance. > > I think Dave already has a patch for this. > Hope to see it soon. ;) Thanks Gui > Paolo > >