diff options
| author | Leah Woods <info@minifree.org> | 2016-05-20 03:25:09 +0100 |
|---|---|---|
| committer | Leah Woods <info@minifree.org> | 2016-05-20 03:35:28 +0100 |
| commit | b1ff016f3f422c47b5c65a4d3ebfc449f1fd5743 (patch) | |
| tree | c5aca46c20b562f190a93f399670b1361090959a /resources/seabios | |
| parent | 870be408e848aa884f8bcc6c2213cb31e4cd2615 (diff) | |
| download | librebootfr-b1ff016f3f422c47b5c65a4d3ebfc449f1fd5743.tar.gz librebootfr-b1ff016f3f422c47b5c65a4d3ebfc449f1fd5743.zip | |
Don't use SeaVGABIOS on systems that use SeaGRUB
Diffstat (limited to 'resources/seabios')
| -rw-r--r-- | resources/seabios/config/config | 10 | ||||
| -rw-r--r-- | resources/seabios/config/config_vga | 94 |
2 files changed, 97 insertions, 7 deletions
diff --git a/resources/seabios/config/config b/resources/seabios/config/config index 31871275..8333ea9e 100644 --- a/resources/seabios/config/config +++ b/resources/seabios/config/config @@ -75,16 +75,12 @@ CONFIG_TCGBIOS=y # # VGA ROM # -# CONFIG_NO_VGABIOS is not set +CONFIG_NO_VGABIOS=y # 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_FIXUP_ASM=y -CONFIG_VGA_ALLOCATE_EXTRA_STACK=y +# CONFIG_VGA_COREBOOT is not set +# CONFIG_BUILD_VGABIOS is not set CONFIG_VGA_EXTRA_STACK_SIZE=512 -CONFIG_VGA_VBE=y # # Debugging diff --git a/resources/seabios/config/config_vga b/resources/seabios/config/config_vga new file mode 100644 index 00000000..31871275 --- /dev/null +++ b/resources/seabios/config/config_vga @@ -0,0 +1,94 @@ +# +# 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_MULTIBOOT=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_SDCARD=y +CONFIG_MEGASAS=y +CONFIG_FLOPPY=y +CONFIG_FLASH_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_RTC_TIMER=y +CONFIG_HARDWARE_IRQ=y +CONFIG_PMTIMER=y +CONFIG_TSC_TIMER=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 +CONFIG_TCGBIOS=y + +# +# VGA ROM +# +# CONFIG_NO_VGABIOS 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_FIXUP_ASM=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 |