[SeaBIOS] [RFC 0/2] QEMU fw_cfg dma interface

[Marc Marí]

These patches, with the support in QEMU (patches in the QEMU mailing
list) make the Linux kernel setup and boot approximately 10x faster.

TODO:
 * Other ways to boot when detecting fw_cfg DMA interface?
 * Is 0xfef00000 a good address? Is there any better address? Is it
   possible to not make it hardcoded?

Marc Marí (2):
  Add QEMU fw_cfg dma interface support
  Add Linux boot code for the fw_cfg dma interface

src/boot.c        |  14 ++-
 src/config.h      |   1 +
 src/fw/paravirt.c | 298 +++++++++++++++++++++++++++++++++++++++++++-----------
 src/fw/paravirt.h |  50 +++++++++
 src/romlayout.S   |  20 ++++
 5 files changed, 321 insertions(+), 62 deletions(-)