diff options
Diffstat (limited to 'resources/libreboot/config')
| -rw-r--r-- | resources/libreboot/config/kfsn4-dre/config | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/resources/libreboot/config/kfsn4-dre/config b/resources/libreboot/config/kfsn4-dre/config index abca583e..6902f78f 100644 --- a/resources/libreboot/config/kfsn4-dre/config +++ b/resources/libreboot/config/kfsn4-dre/config @@ -162,10 +162,6 @@ CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y CONFIG_MAINBOARD_POWER_ON_AFTER_POWER_FAIL=y CONFIG_UART_FOR_CONSOLE=0 CONFIG_ID_SECTION_OFFSET=0x80 -# CONFIG_BOARD_EMULATION_QEMU_ARMV7 is not set -# CONFIG_BOARD_EMULATION_QEMU_X86_I440FX is not set -# CONFIG_BOARD_EMULATION_QEMU_X86_Q35 is not set -# CONFIG_BOARD_EMULATION_QEMU_UCB_RISCV is not set CONFIG_USBDEBUG_HCD_INDEX=0 CONFIG_TTYS0_LCS=3 CONFIG_CACHE_ROM_SIZE_OVERRIDE=0 @@ -384,8 +380,6 @@ CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG=y # CONFIG_VGA_ROM_RUN is not set # CONFIG_ON_DEVICE_ROM_RUN is not set -# CONFIG_PCI_OPTION_ROM_RUN_REALMODE is not set -# CONFIG_PCI_OPTION_ROM_RUN_YABEL is not set # CONFIG_MULTIPLE_VGA_ADAPTERS is not set # CONFIG_SPD_CACHE is not set CONFIG_PCI=y @@ -513,7 +507,7 @@ CONFIG_HAVE_OPTION_TABLE=y CONFIG_PCI_IO_CFG_EXT=y CONFIG_IOAPIC=y # CONFIG_USE_WATCHDOG_ON_BOOT is not set -# CONFIG_VGA is not set +CONFIG_VGA=y # CONFIG_GFXUMA is not set CONFIG_HAVE_ACPI_TABLES=y CONFIG_HAVE_MP_TABLE=y @@ -538,8 +532,6 @@ CONFIG_PAYLOAD_ELF=y # CONFIG_PAYLOAD_FILO is not set # CONFIG_PAYLOAD_GRUB2 is not set # CONFIG_PAYLOAD_TIANOCORE is not set -# CONFIG_SEABIOS_STABLE is not set -# CONFIG_SEABIOS_MASTER is not set # CONFIG_SEABIOS_THREAD_OPTIONROMS is not set # CONFIG_SEABIOS_VGA_COREBOOT is not set CONFIG_PAYLOAD_FILE="grub.elf" |