diff options
Diffstat (limited to 'roms/config.seabios-fast')
| -rw-r--r-- | roms/config.seabios-fast | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/roms/config.seabios-fast b/roms/config.seabios-fast deleted file mode 100644 index 045693ea59..0000000000 --- a/roms/config.seabios-fast +++ /dev/null @@ -1,27 +0,0 @@ -# The fastest SeaBIOS that can boot Linux using -kernel. -# NB: Since we are using -kernel, we don't need SeaBIOS itself -# to do any boot drive detection, boot ordering, etc. - -# general stuff -CONFIG_QEMU=y -CONFIG_ROM_SIZE=0 -CONFIG_WRITABLE_UPPERMEMORY=y -CONFIG_RELOCATE_INIT=n - -# no input, no boot menu -CONFIG_MOUSE=n -CONFIG_KEYBOARD=n -CONFIG_BOOTMENU=n -CONFIG_BOOTSPLASH=n -CONFIG_BOOTORDER=n - -# hardware support we don't need -CONFIG_LPT=n -CONFIG_SERIAL=n -CONFIG_USB=n -CONFIG_DRIVES=n -CONFIG_TCGBIOS=n -CONFIG_VGAHOOKS=n - -# no logging -CONFIG_DEBUG_LEVEL=0 |