LinuxBIOS and Vxworks
Kevin Hester
kevinh at ispiri.com
Tue Dec 10 19:49:01 CET 2002
Hi,
It has been a couple of years since I was futzing with the ugly beast that is
vxWorks ;-). However, I don't think the Intel BSPs are 'plug-and-play'.
I.e. vxWorks counts on the BIOS setting up the IRQ bindings for all PCI
devices.
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.
I just sent Andrew a patch which does this for the Via Epia motherboard.
After this is checked in you should search the source for pci_assign_irqs for
example usage.
Kevin
On Tuesday 10 December 2002 08:59, Felix Radensky wrote:
> Hi, folks
>
> We have a custom board based on 440LX chipset and
> successfully use LinuxBIOS to boot linux kernel.
>
> In the near future we'll have VxWorks on the same
> hardware platform. It would be very nice to have LinuxBIOS
> booting this OS as well. Do you think this is possible ? Any hints or
> pointers would be very much appreciated.
>
> TIA.
>
> Felix.
>
> _______________________________________________
> Linuxbios mailing list
> Linuxbios at clustermatic.org
> http://www.clustermatic.org/mailman/listinfo/linuxbios
More information about the coreboot
mailing list