> > 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?
Exactly. cheers, Gerd _______________________________________________ SeaBIOS mailing list [email protected] http://www.seabios.org/mailman/listinfo/seabios
