Hi,
I'm wondering whenever things become easier if we add config registers to the pxb, where the firmware can program the bus number range and we can use the config register base as a way to specify which pxb we are referring to ?
But then we'll need a bunch of fw cfg entries to let guest discover the extra roots and their bus ranges.
We could add them to the pxb host bridge device (1b36:0009). Then we don't need any fw_cfg stuff, seabios could simply lookup/setup things in the 1b36:0009 pci config space ...
cheers, Gerd