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