
Dec. 17, 2011
5:32 p.m.
On Fri, Dec 16, 2011 at 03:29:17PM -0700, 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>
As Sebastian points out, this came up once before. I fear altering the timeout dynamically will cause confusion. It's possible to tune the timeout via cbfs, and CONFIG_THREAD_OPTIONROMS can also "speed up" the timeout by allowing hardware init to run in parallel with the delay. -Kevin