diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-02-13 23:38:47 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-02-13 23:38:47 +0000 |
commit | 4ebfb52f2418adf73405c90771c1b080644afed0 (patch) | |
tree | 64e66c7bc2a6692330a22588f361ff29e51be013 /resources/seabios/config | |
parent | 50701e0614ccb2c5d87cfe17e0abc85341773260 (diff) | |
download | librebootfr-4ebfb52f2418adf73405c90771c1b080644afed0.tar.gz librebootfr-4ebfb52f2418adf73405c90771c1b080644afed0.zip |
Delete SeaBIOS from libreboot.
It was virtually useless. Noone used it. SeaBIOS is easy enough
to build from source if someone wants to use it from now on.
Diffstat (limited to 'resources/seabios/config')
-rw-r--r-- | resources/seabios/config/config | 90 |
1 files changed, 0 insertions, 90 deletions
diff --git a/resources/seabios/config/config b/resources/seabios/config/config deleted file mode 100644 index 4bbba94a..00000000 --- a/resources/seabios/config/config +++ /dev/null @@ -1,90 +0,0 @@ -# -# Automatically generated file; DO NOT EDIT. -# SeaBIOS Configuration -# - -# -# General Features -# -CONFIG_COREBOOT=y -# CONFIG_QEMU is not set -# CONFIG_CSM is not set -# CONFIG_QEMU_HARDWARE is not set -CONFIG_THREADS=y -CONFIG_RELOCATE_INIT=y -CONFIG_BOOTMENU=y -CONFIG_BOOTSPLASH=y -CONFIG_BOOTORDER=y -CONFIG_COREBOOT_FLASH=y -CONFIG_LZMA=y -CONFIG_CBFS_LOCATION=0 -CONFIG_FLASH_FLOPPY=y -CONFIG_ENTRY_EXTRASTACK=y -CONFIG_MALLOC_UPPERMEMORY=y -CONFIG_ROM_SIZE=0 - -# -# Hardware support -# -CONFIG_ATA=y -# CONFIG_ATA_DMA is not set -# CONFIG_ATA_PIO32 is not set -CONFIG_AHCI=y -CONFIG_MEGASAS=y -CONFIG_FLOPPY=y -CONFIG_PS2PORT=y -CONFIG_USB=y -CONFIG_USB_UHCI=y -CONFIG_USB_OHCI=y -CONFIG_USB_EHCI=y -CONFIG_USB_XHCI=y -CONFIG_USB_MSC=y -CONFIG_USB_UAS=y -CONFIG_USB_HUB=y -CONFIG_USB_KEYBOARD=y -CONFIG_USB_MOUSE=y -CONFIG_SERIAL=y -CONFIG_LPT=y -CONFIG_PMTIMER=y - -# -# BIOS interfaces -# -CONFIG_DRIVES=y -CONFIG_CDROM_BOOT=y -CONFIG_CDROM_EMU=y -CONFIG_PCIBIOS=y -CONFIG_APMBIOS=y -CONFIG_PNPBIOS=y -CONFIG_OPTIONROMS=y -CONFIG_PMM=y -CONFIG_BOOT=y -CONFIG_KEYBOARD=y -CONFIG_KBD_CALL_INT15_4F=y -CONFIG_MOUSE=y -CONFIG_S3_RESUME=y -CONFIG_VGAHOOKS=y -# CONFIG_DISABLE_A20 is not set - -# -# VGA ROM -# -# CONFIG_NO_VGABIOS is not set -# CONFIG_VGA_STANDARD_VGA is not set -# CONFIG_VGA_CIRRUS is not set -# CONFIG_VGA_BOCHS is not set -# CONFIG_VGA_GEODEGX2 is not set -# CONFIG_VGA_GEODELX is not set -CONFIG_VGA_COREBOOT=y -CONFIG_BUILD_VGABIOS=y -CONFIG_VGA_EMULATE_TEXT=y -CONFIG_VGA_ALLOCATE_EXTRA_STACK=y -CONFIG_VGA_EXTRA_STACK_SIZE=512 -CONFIG_VGA_VBE=y - -# -# Debugging -# -CONFIG_DEBUG_LEVEL=1 -# CONFIG_DEBUG_SERIAL is not set -CONFIG_DEBUG_COREBOOT=y |