> By the way, I would like to have the option of not using the PCI bios
> for PCI configuration space access.
>
> bool 'PCI bios support' CONFIG_PCI
> if [ "$CONFIG_PCI" = "n" ]; then
> bool ' Support Direct PCI access' CONFIG_PCI_DIRECT
> fi
>
It will not work this way, unless you scan all the kernel for code dependant
on CONFIG_PCI (and many drivers have it), rather use:
bool 'PCI bios support' CONFIG_PCI
if [ "$CONFIG_PCI" = "y" ]; then
bool ' Avoid using PCI BIOS' CONFIG_PCI_NOBIOS
fi
so you only have to change arch/i386/bios32.c.
Gabriel.