On Sat, Nov 8, 2008 at 6:52 PM, Kevin O'Connor <kevin at koconnor.net> wrote: > How can I find the maximum PCI bus number of the system? > we can define the set of things that seabios needs to know and pass them on from coreboot. Personally, I would prefer textual attribute-value pairs, since binary structs have a lot of problems (version, etc. etc.) ron