Marc Jones wrote:
The bootmenu is only useful if there are multiple devices. We can speed up theboot by a few seconds if there is only a single device to try to boot from. Signed-off-by: Marc Jones <[email protected]>
Isn't the bootmenu also useful to check if the bios detected other boot devices? Please check the previous discussion [1]. [1] http://www.seabios.org/pipermail/seabios/2011-April/001656.html Sebastian _______________________________________________ SeaBIOS mailing list [email protected] http://www.seabios.org/mailman/listinfo/seabios
