Re: [Qemu-devel][BUG] EFI BIOS on QEMU stopped working with r3371

[Stefan Weil]

Tristan Gingold schrieb:
> EFI Bios worked once with Qemu (around Feb 2007), so certainly 
> something was broken.
>
> Happy debugging ;-)

Thanks. EFI BIOS stopped working with qemu/trunk r3371. From the change log:

------------------------------------------------------------------------
r3371 | ths | 2007-10-09 05:08:56 +0200 (Di, 09 Okt 2007) | 3 lines

Don't route PIC interrupts through the local APIC if the local APIC
config says so. By Ari Kivity.

------------------------------------------------------------------------

The bug comes from function pic_irq_request in pc.c.
I can fix it for r3371 by adding cpu_reset_interrupt (like in r3370),
but the code in the current trunk is totally different.

Could the pic experts please have a look?

Stefan