[SeaBIOS] Re: [PATCH] boot: add config option for fast device init

[Gerd Hoffmann]

On Tue, Mar 23, 2021 at 04:31:41PM +0100, Paul Menzel wrote:
> Dear Gerd,
>
> On 2021-03-23 15:18, Gerd Hoffmann wrote:
> > Add a config option for fast device init (i.e. skip non-bootable
> > devices).  This optimization breaks boot in some rare configurations,
> > specifically in case the boot loader needs access to secondary disks.
>
> Thank you for the patch. Could you please elaborate and describe your
> test setup and how much the boot time is decreased?

Have no numbers.

Note that optimization is already in 1.14 and this only adds a config
option to turn it *off*.

take care,
  Gerd