[SeaBIOS] [RFC PATCH v3 0/3] IGD assignment support for QEMU/vfio

[Alex Williamson]

Turns out that maybe we weren't done with IGD by simply reading a
new fw_cfg, copying it into a new reserved memory buffer and writing
back to the IGD device.  We need another reserved memory buffer for
stolen memory.  The hardware minimum size is 1MB, naturally aligned,
which means we need to be able to actually be able to allocate that.
We write the address of the buffer back to the BDSM register on IGD
so that QEMU can make use of it when doing fixups on vBIOS config
of  the device.  Previous comments on updating the size of the high
memory area suggest that any remaining free memory is returned, so
it appears there's no affect of increasing this limit for systems
without IGD.  Thanks,

Alex

---

Alex Williamson (3):
      fw/pci: Add support for mapping Intel IGD OpRegion via QEMU
      Further increase maximum size of permanent high memory area.
      fw/pci: Allocate IGD stolen memory


 src/config.h     |    2 +-
 src/fw/pciinit.c |   41 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 42 insertions(+), 1 deletion(-)