Hi Sebastian, "Sebastian Herbszt" <[email protected]> writes:
> Sven Schnelle wrote: >> There's no point in presenting a menu to the user if there's >> only one option to choose from. In that case skip this menu >> to save some waiting time during boot. > > The case if there's only one option to choose from might be an error > (e.g. device not detected, misconfiguration). Just skipping the menu > doesn't sound like the correct choice. How does the boot menu help you in that case? Sven. _______________________________________________ SeaBIOS mailing list [email protected] http://www.seabios.org/mailman/listinfo/seabios
