Add config option to set boot menu delay time.

Add CONFIG_BOOTMENU_WAIT option with delay time (in milliseconds).
2 files changed
tree: e79609064bda3037fafa8965e08ec4e366e05783
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. TODO
  7. src/
  8. tools/