ron minnich 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.)
How about device tree?
Again, check out /usr/src/linux/Documentation/powerpc/booting-without-of.txt at kernel source near you.
//Peter