diff options
Diffstat (limited to 'resources/libreboot/config/qemu_i440fx_piix4')
| -rw-r--r-- | resources/libreboot/config/qemu_i440fx_piix4/config | 132 |
1 files changed, 73 insertions, 59 deletions
diff --git a/resources/libreboot/config/qemu_i440fx_piix4/config b/resources/libreboot/config/qemu_i440fx_piix4/config index c37611d..d027b3f 100644 --- a/resources/libreboot/config/qemu_i440fx_piix4/config +++ b/resources/libreboot/config/qemu_i440fx_piix4/config @@ -13,8 +13,10 @@ CONFIG_COMPILER_GCC=y # CONFIG_COMPILER_LLVM_CLANG is not set # CONFIG_ANY_TOOLCHAIN is not set # CONFIG_CCACHE is not set +# CONFIG_FMD_GENPARSER is not set # CONFIG_SCONFIG_GENPARSER is not set # CONFIG_USE_OPTION_TABLE is not set +# CONFIG_UNCOMPRESSED_RAMSTAGE is not set CONFIG_COMPRESS_RAMSTAGE=y CONFIG_INCLUDE_CONFIG_FILE=y CONFIG_EARLY_CBMEM_INIT=y @@ -22,15 +24,23 @@ CONFIG_EARLY_CBMEM_INIT=y # CONFIG_USE_BLOBS is not set # CONFIG_COVERAGE is not set # CONFIG_RELOCATABLE_MODULES is not set +# CONFIG_RELOCATABLE_RAMSTAGE is not set +CONFIG_FLASHMAP_OFFSET=0x0 CONFIG_BOOTBLOCK_SIMPLE=y # CONFIG_BOOTBLOCK_NORMAL is not set CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c" # CONFIG_SKIP_MAX_REBOOT_CNT_CLEAR is not set # CONFIG_UPDATE_IMAGE is not set +# CONFIG_GENERIC_GPIO_LIB is not set +# CONFIG_BOARD_ID_AUTO is not set +# CONFIG_BOARD_ID_MANUAL is not set +# CONFIG_RAM_CODE_SUPPORT is not set +# CONFIG_ACPI_SATA_GENERATOR is not set # # Mainboard # +# CONFIG_VENDOR_A_TREND is not set # CONFIG_VENDOR_AAEON is not set # CONFIG_VENDOR_ABIT is not set # CONFIG_VENDOR_ADLINK is not set @@ -42,10 +52,10 @@ CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c" # CONFIG_VENDOR_ARTECGROUP is not set # CONFIG_VENDOR_ASROCK is not set # CONFIG_VENDOR_ASUS is not set -# CONFIG_VENDOR_A_TREND is not set # CONFIG_VENDOR_AVALUE is not set # CONFIG_VENDOR_AZZA is not set # CONFIG_VENDOR_BACHMANN is not set +# CONFIG_VENDOR_BAP is not set # CONFIG_VENDOR_BCOM is not set # CONFIG_VENDOR_BIFFEROS is not set # CONFIG_VENDOR_BIOSTAR is not set @@ -89,8 +99,8 @@ CONFIG_VENDOR_EMULATION=y # CONFIG_VENDOR_SUNW is not set # CONFIG_VENDOR_SUPERMICRO is not set # CONFIG_VENDOR_TECHNEXION is not set -# CONFIG_VENDOR_TI is not set # CONFIG_VENDOR_THOMSON is not set +# CONFIG_VENDOR_TI is not set # CONFIG_VENDOR_TRAVERSE is not set # CONFIG_VENDOR_TYAN is not set # CONFIG_VENDOR_VIA is not set @@ -105,20 +115,21 @@ CONFIG_MAX_CPUS=1 # CONFIG_ONBOARD_VGA_IS_PRIMARY is not set # CONFIG_VGA_BIOS is not set CONFIG_UDELAY_IO=y +CONFIG_MAINBOARD_SERIAL_NUMBER="123456789" +CONFIG_RAMTOP=0x200000 +CONFIG_HEAP_SIZE=0x4000 +CONFIG_RAMBASE=0x100000 CONFIG_DCACHE_RAM_BASE=0xd0000 CONFIG_DCACHE_RAM_SIZE=0x10000 CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Emulation" -# CONFIG_PCI_64BIT_PREF_MEM is not set CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=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=y # CONFIG_BOARD_EMULATION_QEMU_X86_Q35 is not set -# CONFIG_BOARD_EMULATION_QEMU_ARMV7 is not set # CONFIG_BOARD_EMULATION_QEMU_UCB_RISCV is not set CONFIG_BOARD_EMULATION_QEMU_X86=y -CONFIG_RAMTOP=0x200000 -CONFIG_STACK_SIZE=0x1000 CONFIG_TTYS0_LCS=3 CONFIG_CACHE_ROM_SIZE_OVERRIDE=0 CONFIG_CBFS_SIZE=0x800000 @@ -142,26 +153,7 @@ CONFIG_COREBOOT_ROMSIZE_KB_8192=y # CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set CONFIG_COREBOOT_ROMSIZE_KB=8192 CONFIG_ROM_SIZE=0x800000 -CONFIG_ARCH_X86=y # CONFIG_ARCH_ARM is not set -# CONFIG_ARCH_ARM64 is not set -# CONFIG_ARCH_RISCV is not set -# CONFIG_ARCH_MIPS is not set -CONFIG_ARCH_BOOTBLOCK_X86_32=y -CONFIG_ARCH_VERSTAGE_X86_32=y -CONFIG_ARCH_ROMSTAGE_X86_32=y -CONFIG_ARCH_RAMSTAGE_X86_32=y -# CONFIG_SIPI_VECTOR_IN_ROM is not set -CONFIG_RAMBASE=0x100000 -CONFIG_NUM_IPI_STARTS=2 -# CONFIG_ROMCC is not set -# CONFIG_LATE_CBMEM_INIT is not set -CONFIG_PC80_SYSTEM=y -# CONFIG_HAVE_CMOS_DEFAULT is not set -CONFIG_BOOTBLOCK_SOUTHBRIDGE_INIT="southbridge/intel/i82371eb/bootblock.c" -CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y -# CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set -CONFIG_HPET_ADDRESS=0xfed00000 # CONFIG_ARCH_BOOTBLOCK_ARM is not set # CONFIG_ARCH_VERSTAGE_ARM is not set # CONFIG_ARCH_ROMSTAGE_ARM is not set @@ -174,29 +166,46 @@ CONFIG_HPET_ADDRESS=0xfed00000 # CONFIG_ARCH_VERSTAGE_ARMV7 is not set # CONFIG_ARCH_ROMSTAGE_ARMV7 is not set # CONFIG_ARCH_RAMSTAGE_ARMV7 is not set +# CONFIG_ARCH_BOOTBLOCK_ARMV7_M is not set +# CONFIG_ARCH_VERSTAGE_ARMV7_M is not set # CONFIG_ARM_BOOTBLOCK_CUSTOM is not set # CONFIG_ARM_LPAE is not set +# CONFIG_ARCH_ARM64 is not set # CONFIG_ARCH_BOOTBLOCK_ARM64 is not set # CONFIG_ARCH_VERSTAGE_ARM64 is not set # CONFIG_ARCH_ROMSTAGE_ARM64 is not set # CONFIG_ARCH_RAMSTAGE_ARM64 is not set -# CONFIG_ARCH_USE_SECURE_MONITOR is not set # CONFIG_ARCH_BOOTBLOCK_ARMV8_64 is not set # CONFIG_ARCH_VERSTAGE_ARMV8_64 is not set # CONFIG_ARCH_ROMSTAGE_ARMV8_64 is not set # CONFIG_ARCH_RAMSTAGE_ARMV8_64 is not set # CONFIG_ARM64_BOOTBLOCK_CUSTOM is not set +# CONFIG_ARCH_MIPS is not set +# CONFIG_ARCH_BOOTBLOCK_MIPS is not set +# CONFIG_ARCH_VERSTAGE_MIPS is not set +# CONFIG_ARCH_ROMSTAGE_MIPS is not set +# CONFIG_ARCH_RAMSTAGE_MIPS is not set +# CONFIG_ARCH_RISCV is not set # CONFIG_ARCH_BOOTBLOCK_RISCV is not set # CONFIG_ARCH_VERSTAGE_RISCV is not set # CONFIG_ARCH_ROMSTAGE_RISCV is not set # CONFIG_ARCH_RAMSTAGE_RISCV is not set # CONFIG_RISCV_BOOTBLOCK_CUSTOM is not set -# CONFIG_CPU_HAS_BOOTBLOCK_INIT is not set -# CONFIG_MAINBOARD_HAS_BOOTBLOCK_INIT is not set -# CONFIG_ARCH_BOOTBLOCK_MIPS is not set -# CONFIG_ARCH_VERSTAGE_MIPS is not set -# CONFIG_ARCH_ROMSTAGE_MIPS is not set -# CONFIG_ARCH_RAMSTAGE_MIPS is not set +CONFIG_ARCH_X86=y +CONFIG_ARCH_BOOTBLOCK_X86_32=y +CONFIG_ARCH_VERSTAGE_X86_32=y +CONFIG_ARCH_ROMSTAGE_X86_32=y +CONFIG_ARCH_RAMSTAGE_X86_32=y +# CONFIG_SIPI_VECTOR_IN_ROM is not set +CONFIG_NUM_IPI_STARTS=2 +# CONFIG_ROMCC is not set +# CONFIG_LATE_CBMEM_INIT is not set +CONFIG_PC80_SYSTEM=y +# CONFIG_HAVE_CMOS_DEFAULT is not set +CONFIG_BOOTBLOCK_SOUTHBRIDGE_INIT="southbridge/intel/i82371eb/bootblock.c" +CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y +# CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set +CONFIG_HPET_ADDRESS=0xfed00000 # CONFIG_MAINBOARD_HAS_CHROMEOS is not set # CONFIG_SYSTEM_TYPE_LAPTOP is not set @@ -205,20 +214,33 @@ CONFIG_HPET_ADDRESS=0xfed00000 # # +# SoC +# +# CONFIG_SOC_BROADCOM_CYGNUS is not set +CONFIG_TTYS0_BASE=0x3f8 +# CONFIG_SOC_INTEL_COMMON_RESET is not set +# CONFIG_SOC_MARVELL_BG4CD is not set +# CONFIG_SOC_NVIDIA_TEGRA124 is not set +# CONFIG_SOC_NVIDIA_TEGRA132 is not set +# CONFIG_SOC_QC_IPQ806X is not set +# CONFIG_SOC_ROCKCHIP_RK3288 is not set +# CONFIG_CPU_SAMSUNG_EXYNOS5250 is not set +# CONFIG_CPU_SAMSUNG_EXYNOS5420 is not set +# CONFIG_SOC_UCB_RISCV is not set + +# # CPU # # CONFIG_CPU_ALLWINNER_A10 is not set -# CONFIG_CPU_ARMLTD_CORTEX_A9 is not set -# CONFIG_CPU_TI_AM335X is not set CONFIG_XIP_ROM_SIZE=0x10000 -CONFIG_CONSOLE_PRERAM_BUFFER_SIZE=0xc00 # CONFIG_CPU_AMD_AGESA is not set # CONFIG_CPU_AMD_PI is not set -CONFIG_SMM_TSEG_SIZE=0 +# CONFIG_CPU_ARMLTD_CORTEX_A9 is not set # CONFIG_SSE2 is not set # CONFIG_CPU_INTEL_FIRMWARE_INTERFACE_TABLE is not set # CONFIG_CPU_INTEL_TURBO_NOT_PACKAGE_SCOPED is not set CONFIG_CPU_QEMU_X86=y +# CONFIG_CPU_TI_AM335X is not set # CONFIG_PARALLEL_CPU_INIT is not set # CONFIG_UDELAY_LAPIC is not set # CONFIG_UDELAY_TSC is not set @@ -229,7 +251,7 @@ CONFIG_CPU_QEMU_X86=y CONFIG_LOGICAL_CPUS=y # CONFIG_SMM_TSEG is not set # CONFIG_X86_AMD_FIXED_MTRRS is not set -# CONFIG_PLATFORM_USES_FSP is not set +# CONFIG_PLATFORM_USES_FSP1_0 is not set # CONFIG_PARALLEL_MP is not set # CONFIG_BACKUP_DEFAULT_SMM_REGION is not set # CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set @@ -244,11 +266,10 @@ CONFIG_CPU_MICROCODE_CBFS_NONE=y # # Northbridge # -CONFIG_HEAP_SIZE=0x4000 -CONFIG_VIDEO_MB=0 # CONFIG_NORTHBRIDGE_AMD_AGESA is not set # CONFIG_AMD_NB_CIMX is not set # CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set +CONFIG_VIDEO_MB=0 # CONFIG_NORTHBRIDGE_AMD_PI is not set CONFIG_MAX_PIRQ_LINKS=4 @@ -261,7 +282,6 @@ CONFIG_MAX_PIRQ_LINKS=4 # CONFIG_SOUTHBRIDGE_INTEL_COMMON is not set # CONFIG_LOCK_DOWN_BIOS is not set CONFIG_SOUTHBRIDGE_INTEL_I82371EB=y -CONFIG_SOUTH_BRIDGE_OPTIONS=y # # Super I/O @@ -272,19 +292,6 @@ CONFIG_SOUTH_BRIDGE_OPTIONS=y # # -# SoC -# -CONFIG_TTYS0_BASE=0x3f8 -# CONFIG_SOC_NVIDIA_TEGRA124 is not set -# CONFIG_SOC_NVIDIA_TEGRA132 is not set -CONFIG_CONSOLE_PRERAM_BUFFER_BASE=0x0 -# CONFIG_SOC_QC_IPQ806X is not set -# CONFIG_SOC_ROCKCHIP_RK3288 is not set -# CONFIG_CPU_SAMSUNG_EXYNOS5250 is not set -# CONFIG_CPU_SAMSUNG_EXYNOS5420 is not set -# CONFIG_SOC_UCB_RISCV is not set - -# # Devices # CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y @@ -322,21 +329,30 @@ CONFIG_DRIVERS_EMULATION_QEMU_BOCHS=y CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_XRES=800 CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_YRES=600 # CONFIG_GIC is not set +# CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set # CONFIG_DRIVERS_I2C_RTD2132 is not set + +# +# Intel FSP +# # CONFIG_INTEL_DP is not set # CONFIG_INTEL_DDI is not set # CONFIG_INTEL_EDID is not set # CONFIG_INTEL_INT15 is not set +# CONFIG_INTEL_GMA_ACPI is not set # CONFIG_DRIVER_INTEL_I210 is not set # CONFIG_IPMI_KCS is not set # CONFIG_DRIVERS_LENOVO_WACOM is not set # CONFIG_DRIVER_MAXIM_MAX77686 is not set # CONFIG_DRIVER_PARADE_PS8625 is not set -# CONFIG_LPC_TPM is not set CONFIG_DRIVERS_MC146818=y +# CONFIG_MAINBOARD_HAS_LPC_TPM is not set +# CONFIG_DRIVERS_RICOH_RCE822 is not set # CONFIG_DRIVERS_SIL_3114 is not set # CONFIG_SPI_FLASH is not set # CONFIG_DRIVER_TI_TPS65090 is not set +# CONFIG_DRIVERS_TI_TPS65913 is not set +# CONFIG_DRIVERS_TI_TPS65913_RTC is not set CONFIG_DRIVERS_UART=y CONFIG_DRIVERS_UART_8250IO=y # CONFIG_NO_UART_ON_SUPERIO is not set @@ -347,8 +363,9 @@ CONFIG_DRIVERS_UART_8250IO=y # CONFIG_HAVE_USBDEBUG is not set # CONFIG_HAVE_USBDEBUG_OPTIONS is not set # CONFIG_DRIVER_XPOWERS_AXP209 is not set -# CONFIG_DRIVERS_RICOH_RCE822 is not set +CONFIG_RTC=y # CONFIG_TPM is not set +CONFIG_STACK_SIZE=0x1000 # CONFIG_MMCONF_SUPPORT_DEFAULT is not set # CONFIG_MMCONF_SUPPORT is not set # CONFIG_BOOTMODE_STRAPS is not set @@ -391,7 +408,6 @@ CONFIG_POST_DEVICE_NONE=y # CONFIG_POST_DEVICE_PCI_PCIE is not set CONFIG_POST_IO_PORT=0x80 # CONFIG_HAVE_ACPI_RESUME is not set -# CONFIG_HAVE_ACPI_SLIC is not set # CONFIG_HAVE_HARD_RESET is not set # CONFIG_HAVE_MONOTONIC_TIMER is not set CONFIG_HAVE_OPTION_TABLE=y @@ -404,7 +420,6 @@ CONFIG_VGA=y # CONFIG_GFXUMA is not set CONFIG_HAVE_ACPI_TABLES=y CONFIG_HAVE_PIRQ_TABLE=y -CONFIG_PER_DEVICE_ACPI_TABLES=y # CONFIG_COMMON_FADT is not set # @@ -413,7 +428,6 @@ CONFIG_PER_DEVICE_ACPI_TABLES=y # CONFIG_GENERATE_MP_TABLE is not set CONFIG_GENERATE_PIRQ_TABLE=y CONFIG_GENERATE_SMBIOS_TABLES=y -CONFIG_MAINBOARD_SERIAL_NUMBER="123456789" CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="QEMU x86 i440fx/piix4" # @@ -435,6 +449,7 @@ CONFIG_COMPRESSED_PAYLOAD_LZMA=y # Debugging # # CONFIG_GDB_STUB is not set +# CONFIG_FATAL_ASSERTS is not set # CONFIG_DEBUG_CBFS is not set # CONFIG_HAVE_DEBUG_RAM_SETUP is not set # CONFIG_HAVE_DEBUG_CAR is not set @@ -443,7 +458,6 @@ CONFIG_COMPRESSED_PAYLOAD_LZMA=y # CONFIG_DEBUG_MALLOC is not set # CONFIG_DEBUG_ACPI is not set # CONFIG_TRACE is not set -# CONFIG_BOARD_ID_SUPPORT is not set # CONFIG_ENABLE_APIC_EXT_ID is not set CONFIG_WARNINGS_ARE_ERRORS=y # CONFIG_POWER_BUTTON_DEFAULT_ENABLE is not set |