On 13/04/2017 14:36, Ladi Prosek wrote: > For the record, QEMU with kernel-irqchip=split works fine as it > emulates version 0x20 with the IOAPIC_EOI register by default. > kernel-irqchip=off does not seem to work, I will look into it. There's a lot more breakage to kernel-irqchip=off, and it's more or less on life support. Don't waste your time on it. Paolo