diff options
Diffstat (limited to 'resources/coreboot/d945gclf/config/libgfxinit_txtmode')
| -rw-r--r-- | resources/coreboot/d945gclf/config/libgfxinit_txtmode | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/resources/coreboot/d945gclf/config/libgfxinit_txtmode b/resources/coreboot/d945gclf/config/libgfxinit_txtmode index e0985633..51f55c2f 100644 --- a/resources/coreboot/d945gclf/config/libgfxinit_txtmode +++ b/resources/coreboot/d945gclf/config/libgfxinit_txtmode @@ -123,6 +123,14 @@ CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0 CONFIG_UART_FOR_CONSOLE=0 # CONFIG_CONSOLE_POST is not set CONFIG_POST_DEVICE=y +# CONFIG_BOARD_EMULATION_QEMU_AARCH64 is not set +# CONFIG_BOARD_EMULATION_QEMU_ARMV7 is not set +# CONFIG_BOARD_EMULATION_QEMU_X86_I440FX is not set +# CONFIG_BOARD_EMULATION_QEMU_POWER8 is not set +# CONFIG_BOARD_EMULATION_QEMU_X86_Q35 is not set +# CONFIG_BOARD_EMULATION_QEMU_RISCV_RV64 is not set +# CONFIG_BOARD_EMULATION_QEMU_RISCV_RV32 is not set +# CONFIG_BOARD_EMULATION_SPIKE_RISCV is not set CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld" CONFIG_DCACHE_RAM_BASE=0xfefc0000 CONFIG_DCACHE_RAM_SIZE=0x8000 @@ -182,6 +190,8 @@ CONFIG_BOARD_INTEL_D945GCLF=y # CONFIG_BOARD_INTEL_TGLRVP_UP3 is not set # CONFIG_BOARD_INTEL_TGLRVP_UP4 is not set # CONFIG_BOARD_INTEL_WTM2 is not set +# CONFIG_ADL_CHROME_EC is not set +# CONFIG_ADL_INTEL_EC is not set CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="D945GCLF" # CONFIG_BOARD_INTEL_BASEBOARD_GLKRVP is not set CONFIG_PS2K_EISAID="PNP0303" @@ -294,6 +304,8 @@ CONFIG_SET_MSR_AESNI_LOCK_BIT=y CONFIG_CPU_INTEL_COMMON_TIMEBASE=y CONFIG_CPU_INTEL_COMMON_SMM=y CONFIG_MICROCODE_UPDATE_PRE_RAM=y +# CONFIG_CPU_QEMU_X86_LAPIC_INIT is not set +# CONFIG_CPU_QEMU_X86_PARALLEL_MP is not set # CONFIG_PARALLEL_CPU_INIT is not set CONFIG_PARALLEL_MP=y # CONFIG_PARALLEL_MP_AP_WORK is not set @@ -438,6 +450,7 @@ CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y # CONFIG_MAINBOARD_HAS_LIBGFXINIT is not set CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y # CONFIG_VGA_ROM_RUN is not set +# CONFIG_RUN_FSP_GOP is not set # CONFIG_NO_GFX_INIT is not set # CONFIG_MULTIPLE_VGA_ADAPTERS is not set @@ -697,8 +710,14 @@ CONFIG_PAYLOAD_NONE=y # CONFIG_PAYLOAD_YABITS is not set # CONFIG_PAYLOAD_LINUX is not set # CONFIG_PAYLOAD_TIANOCORE is not set +# CONFIG_SEABIOS_STABLE is not set +# CONFIG_SEABIOS_MASTER is not set +# CONFIG_SEABIOS_REVISION is not set CONFIG_PAYLOAD_OPTIONS="" # CONFIG_PXE is not set +# CONFIG_COMPRESSED_PAYLOAD_NONE is not set +# CONFIG_COMPRESSED_PAYLOAD_LZMA is not set +# CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set # CONFIG_PAYLOAD_IS_FLAT_BINARY is not set CONFIG_COMPRESS_SECONDARY_PAYLOAD=y |