[SeaBIOS] [PATCH 0/5] pci: 64bit support

[Gerd Hoffmann]

  Hi,

The effort to add support for 64bit pci bars to qemu seems to have
stalled somehow.  Lets resume it ;)

Here is a patch collection, largely rewritten from scratch, which
improves seabios 64bit support.  One big patch (#3) adds 64bit math
everythere.  The other big patch (#5) adds support for ressource
allocation above 4G.  The remaining patches carry bugfixes and little
bits such as support for printing 64bit hex numbers.

cheers,
  Gerd

Gerd Hoffmann (5):
  64bit hex printf support
  pci: split device discovery into multiple steps
  pci: 64bit support.
  pci: bridges can have two regions too
  pci: add prefmem64 region type.

 src/acpi-dsdt.dsl |    7 ++
 src/config.h      |    2 +
 src/output.c      |   32 ++++++--
 src/pci.h         |   14 ++-
 src/pciinit.c     |  245 +++++++++++++++++++++++++++++++++++++----------------
 5 files changed, 217 insertions(+), 83 deletions(-)