off-topic: PCI interrupts

[Ken Teh <teh@phy.anl.gov>]

I have a RTLinux x86 box with a PCI device that shares the IRQ with the
network card.  Originally, I had the device in another PC (with the same
network card, but different motherboard), and had done my RTL development
there.  Everything worked.  Now with the new motherboard, nothing runs
because of the shared IRQ.

My understanding of IRQs is sketchy, but it is my understanding that the
motherboard BIOS is supposed to resolve IRQ numbers between the various PCI
devices.  Do I have a faulty motherboard?

Thanks, Ken