[ECOS] REdboot PCI

[bel rog]

I am using a custom ixp425 system with a 4 pci devices on the system.

I find Redboot(version 2.01) assgning the PCI resources and this is
used  when the Linux
PCI resource Initialise.

How do i  disable the PCI resource allocation in redboot so that i can
use the linux.
to do the BIOS when it starts.

Thanks in advance :)
Belrog

--
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss