roms/config.seabios-fast

   1 # The fastest SeaBIOS that can boot Linux using -kernel.
   2 # NB: Since we are using -kernel, we don't need SeaBIOS itself
   3 # to do any boot drive detection, boot ordering, etc.
   4
   5 # general stuff
   6 CONFIG_QEMU=y
   7 CONFIG_ROM_SIZE=0
   8 CONFIG_WRITABLE_UPPERMEMORY=y
   9 CONFIG_RELOCATE_INIT=n
  10
  11 # no input, no boot menu
  12 CONFIG_MOUSE=n
  13 CONFIG_KEYBOARD=n
  14 CONFIG_BOOTMENU=n
  15 CONFIG_BOOTSPLASH=n
  16 CONFIG_BOOTORDER=n
  17
  18 # hardware support we don't need
  19 CONFIG_LPT=n
  20 CONFIG_SERIAL=n
  21 CONFIG_USB=n
  22 CONFIG_DRIVES=n
  23 CONFIG_TCGBIOS=n
  24 CONFIG_VGAHOOKS=n
  25
  26 # no logging
  27 CONFIG_DEBUG_LEVEL=0