[LinuxBIOS] Difference Between & Linuxbios PCI Debug Output

[Corey Osgood]

roger wrote:
> Can anybody breifly explain the slight differences?  Such as the first
> 00: PCI device of the lspci of the manuf bios has a 0x20?
> 
> Could this also be just a side effect of having a fully booting kernel
> vs linuxbios not having configured all the PCI devices?
> 

When you do dump_pci_devices (if that's what you're talking about), I
think the bus number that's printed is doubled, it's nothing to be
worried about.

Any registers of importance *should* be documented in the datasheets:
Datasheet: http://www.intel.com/design/chipsets/datashts/290633.htm
Spec Update: http://www.intel.com/design/chipsets/specupdt/290639.htm
Page linking to more possibly useful 440-family datasheets:
http://www.intel.com/design/archives/chipsets/440/

-Corey