Add config option to set boot menu delay time.
authorKevin O'Connor <kevin@koconnor.net>
Thu, 30 Apr 2009 02:00:21 +0000 (22:00 -0400)
committerKevin O'Connor <kevin@koconnor.net>
Thu, 30 Apr 2009 02:00:21 +0000 (22:00 -0400)
commit217d363328237435fe380f3857d06a56762731f0
treee79609064bda3037fafa8965e08ec4e366e05783
parentcbd6ca05d9c5797f9cfc816342181fb91b600099
Add config option to set boot menu delay time.

Add CONFIG_BOOTMENU_WAIT option with delay time (in milliseconds).
src/boot.c
src/config.h