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