Re: [PATCH 0/2] KVM: x86: fix deliver of SMIs to halted VCPUs

2015-10-13 Thread Paolo Bonzini
On 13/10/2015 12:34, Paolo Bonzini wrote: > While SeaBIOS only uses synchronous SMI delivery through port 0xb2, > OVMF also uses APIC delivery, and it is buggy. > > This is enough to run OVMF with SMM enabled and multiple processors, > up to a UEFI shell, but it literally takes minutes to get th

[PATCH 0/2] KVM: x86: fix deliver of SMIs to halted VCPUs

2015-10-13 Thread Paolo Bonzini
While SeaBIOS only uses synchronous SMI delivery through port 0xb2, OVMF also uses APIC delivery, and it is buggy. This is enough to run OVMF with SMM enabled and multiple processors, up to a UEFI shell, but it literally takes minutes to get there. However, the same behavior is visible with KVM di