Re: Bug: IRQ allocation for PCI devices 1.3.75??
Bob Felderman (feldy@myri.com)
Tue, 19 Mar 96 00:08:55 PST
I guess this is a BIOS problem since I see the same thing
with all (1.3.71 <= kernels <= 1.3.75). Another
pentium I have doesn not exhibit this behavior.
Sorry for the confusion.
Bob