[SeaBIOS] [PATCH v3 0/3] usb: add xhci support

[Gerd Hoffmann]

  Hi,

> > > 
> > > With this applied, we crossed over the 128K boundary.
> > > So it won't be easy to put this bios into qemu.
> > > Thoughts?
> > 
> > Guess we finally have to deal with the 128k -> 256k jump in qemu then.
> > CONFIG_USB_XHCI=n should to the trick until this is done.
> > 
> > cheers,
> >   Gerd
> > 
> > 
> 
> One simple way is to have two bios binaries
> built with different flags, and use
> the stripped ones for the old machine type.

Yep, that'll work.  Your acpi patch series with ACPI_BUILTIN=n might
bring us under 128k too.  But that will most likely not last forever, so
I guess I'll go for one 128k and one 256k seabios binary with the next
feature update (aka master branch release).

cheers,
  Gerd