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 marcj303@gmail.com
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