diff options
Diffstat (limited to 'roms')
| -rw-r--r-- | roms/Makefile | 4 | ||||
| -rw-r--r-- | roms/config.seabios-fast | 27 |
2 files changed, 1 insertions, 30 deletions
diff --git a/roms/Makefile b/roms/Makefile index 26b058659a..7bd1252737 100644 --- a/roms/Makefile +++ b/roms/Makefile @@ -61,11 +61,9 @@ default: @echo " slof -- update slof.bin" @echo " u-boot.e500 -- update u-boot.e500" -bios: build-seabios-config-seabios-128k build-seabios-config-seabios-256k \ - build-seabios-config-seabios-fast +bios: build-seabios-config-seabios-128k build-seabios-config-seabios-256k cp seabios/builds/seabios-128k/bios.bin ../pc-bios/bios.bin cp seabios/builds/seabios-256k/bios.bin ../pc-bios/bios-256k.bin - cp seabios/builds/seabios-fast/bios.bin ../pc-bios/bios-fast.bin seavgabios: $(patsubst %,seavgabios-%,$(vgabios_variants)) 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 |