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

[Michael S. Tsirkin]

On Tue, Sep 24, 2013 at 10:19:39AM +0200, Gerd Hoffmann wrote:
>   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
> 

Both built from same source with different flags, right?
Nod. We'll do this for QEMU 1.7.