LinuxBIOS and Vxworks

[Ronald G. Minnich]

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. 

thanks

ron