On Sun, Oct 11, 2020 at 09:32:27PM +0200, Philippe Mathieu-Daudé wrote: > The network devices use IRQ #9 by default. Add this > default definition to the IsaIrqNumber enum.
IRQ #9 seems to be sort-of standard for acpi. Not sure whenever that is actually written down somewhere. IIRC in pre-ACPI days it was free like irq #5. take care, Gerd