[SeaBIOS] [PATCH v3 0/3] usb: add xhci support
kraxel at redhat.com
Tue Sep 24 10:36:41 CEST 2013
> > 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?
More information about the SeaBIOS