On 01/04/2016 17:35, Kevin O'Connor wrote: > It's possible to build a third binary, but that seems like it would be > a bit annoying for distributions.
I don't think that would be a problem. Fedora is already building 4 binaries (128k, 256k, CSM, coreboot), adding a fifth is not a big deal. Paolo > I think most of the benefit could > be obtained by just adding a flag to seabios to have it skip device > driver initialization. That's where the majority of the time saved is > from.
