diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2016-07-04 17:22:17 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2016-07-04 17:23:33 +0200 |
| commit | 3b1154fff16cf3bb9297d65145c89321bc1b7aa4 (patch) | |
| tree | 09da752fb3cdcd3b6e0dcd36868ff795301174f3 /roms/config.seabios-fast | |
| parent | 3173a1fd549b7fa0f7029b2c6a6b86ba6efa92aa (diff) | |
Revert "bios: Add fast variant of SeaBIOS for use with -kernel on x86."
This reverts commit 4e04ab6a63ebe9fb4305e7e8e49cc8b0095db8fb.
Also remove pc-bios/bios-fast.bin.
Commit was merged by mistake.
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
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 |