On Tue, 10 Dec 2002, Kevin Hester wrote:
It seems to me that most of the current linuxbios ROMs
don't setup the PCI
IRQs - they rely on the fact that linux is able to use the pirq table and do
it's own PCI IRQ assignment. If you are using vxWorks you may need to make
sure your mainboard.c is assigning IRQs to all PCI devices.
we're going to have to fix that. I hoped not to do this but too many OSes
either can't do it or get it wrong.
I want to see if we can use that patch of yours.