Skip to content

Commit 78451c9

Browse files
gaspar-ilomgaspar-ilom
committed
update the coreboot configs after bump to 25.09
for all boards moved from 24.12 to 25.09 execute: ./docker_repro.sh make coreboot.save_in_oldconfig_format_in_place BOARD=XXX no manual sanity checks were executed yet Signed-off-by: gaspar-ilom <[email protected]>
1 parent 689eb8e commit 78451c9

17 files changed

+446
-84
lines changed

‎config/coreboot-optiplex-7019_9010-maximized.config‎

Lines changed: 25 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ CONFIG_COMPILER_GCC=y
1818
# CONFIG_UTIL_GENPARSER is not set
1919
CONFIG_OPTION_BACKEND_NONE=y
2020
# CONFIG_USE_OPTION_TABLE is not set
21+
# CONFIG_USE_CBFS_FILE_OPTION_BACKEND is not set
2122
CONFIG_COMPRESS_RAMSTAGE_LZMA=y
2223
# CONFIG_COMPRESS_RAMSTAGE_LZ4 is not set
2324
CONFIG_SEPARATE_ROMSTAGE=y
@@ -93,6 +94,7 @@ CONFIG_VENDOR_DELL=y
9394
# CONFIG_VENDOR_LIBRETREND is not set
9495
# CONFIG_VENDOR_MITAC_COMPUTING is not set
9596
# CONFIG_VENDOR_MSI is not set
97+
# CONFIG_VENDOR_NOVACUSTOM is not set
9698
# CONFIG_VENDOR_OCP is not set
9799
# CONFIG_VENDOR_OPENCELLULAR is not set
98100
# CONFIG_VENDOR_PACKARDBELL is not set
@@ -152,9 +154,9 @@ CONFIG_INTEL_GMA_VBT_FILE="src/mainboard/$(MAINBOARDDIR)/variants/$(VARIANT_DIR)
152154
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
153155
CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="OptiPlex 9010"
154156
# CONFIG_CONSOLE_POST is not set
157+
CONFIG_MAX_SOCKET=1
155158
CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
156159
CONFIG_CMOS_LAYOUT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.layout"
157-
CONFIG_MAX_SOCKET=1
158160
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
159161
CONFIG_TPM_PIRQ=0x0
160162
# CONFIG_BOARD_DELL_E6400 is not set
@@ -254,8 +256,9 @@ CONFIG_VERSTAGE_ADDR=0x2000000
254256
CONFIG_SMM_TSEG_SIZE=0x800000
255257
CONFIG_SMM_RESERVED_SIZE=0x100000
256258
CONFIG_SMM_MODULE_STACK_SIZE=0x400
257-
# CONFIG_USE_X86_64_SUPPORT is not set
258259
CONFIG_SERIRQ_CONTINUOUS_MODE=y
260+
# CONFIG_USE_X86_64_SUPPORT is not set
261+
CONFIG_CPU_PT_ROM_MAP_GB=4
259262
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
260263
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
261264
CONFIG_EHCI_BAR=0xfef00000
@@ -275,8 +278,11 @@ CONFIG_FIXED_EPBAR_MMIO_BASE=0xfed19000
275278
CONFIG_PCIEXP_COMMON_CLOCK=y
276279
CONFIG_SOC_PHYSICAL_ADDRESS_WIDTH=0
277280
CONFIG_DEBUG_STACK_OVERFLOW_BREAKPOINTS=y
278-
CONFIG_FIXED_SMBUS_IO_BASE=0x400
281+
CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
279282
CONFIG_CBFS_CACHE_ALIGN=8
283+
# CONFIG_ALWAYS_ALLOW_ABOVE_4G_ALLOCATION is not set
284+
CONFIG_FIXED_SMBUS_IO_BASE=0x400
285+
CONFIG_UART_BITBANG_TX_DELAY_MS=5
280286

281287
#
282288
# CPU
@@ -394,7 +400,6 @@ CONFIG_HAVE_X86_64_SUPPORT=y
394400
CONFIG_RESERVED_PHYSICAL_ADDRESS_BITS_SUPPORT=y
395401
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
396402
CONFIG_POSTRAM_CBFS_CACHE_IN_BSS=y
397-
CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
398403
CONFIG_PC80_SYSTEM=y
399404
CONFIG_HAVE_CMOS_DEFAULT=y
400405
CONFIG_POSTCAR_STAGE=y
@@ -454,13 +459,15 @@ CONFIG_INTEL_GMA_ADD_VBT=y
454459
# CONFIG_SOFTWARE_I2C is not set
455460
CONFIG_I2C_TRANSFER_TIMEOUT_US=500000
456461
CONFIG_RESOURCE_ALLOCATION_TOP_DOWN=y
457-
CONFIG_USE_DDR3=y
462+
CONFIG_DRAM_SUPPORT_DDR3=y
458463
# end of Devices
459464

460465
#
461466
# Generic Drivers
462467
#
463468
CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
469+
# CONFIG_DRIVERS_EFI_VARIABLE_STORE is not set
470+
# CONFIG_DRIVERS_EFI_FW_INFO is not set
464471
# CONFIG_ELOG is not set
465472
CONFIG_CACHE_MRC_SETTINGS=y
466473
# CONFIG_MRC_SETTINGS_PROTECT is not set
@@ -486,6 +493,7 @@ CONFIG_HAVE_USBDEBUG=y
486493
CONFIG_HAVE_USBDEBUG_OPTIONS=y
487494
# CONFIG_USBDEBUG is not set
488495
# CONFIG_VPD is not set
496+
# CONFIG_DRIVERS_EMULATION_QEMU_FW_CFG is not set
489497
# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
490498
# CONFIG_DRIVERS_GENERIC_CBFS_UUID is not set
491499
# CONFIG_DRIVERS_GENESYSLOGIC_GL9750 is not set
@@ -541,6 +549,7 @@ CONFIG_TPM=y
541549
CONFIG_MAINBOARD_HAS_TPM1=y
542550
# CONFIG_TPM_DEACTIVATE is not set
543551
# CONFIG_DEBUG_TPM is not set
552+
# CONFIG_TPM_MEASURE_MRC_CACHE is not set
544553
# CONFIG_TPM_LOG_CB is not set
545554
CONFIG_TPM_LOG_TPM1=y
546555
# CONFIG_TPM_LOG_TPM2 is not set
@@ -646,6 +655,9 @@ CONFIG_PAYLOAD_LINUX=y
646655
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
647656
# CONFIG_PXE is not set
648657
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"
658+
# CONFIG_COMPRESSED_PAYLOAD_NONE is not set
659+
CONFIG_COMPRESSED_PAYLOAD_LZMA=y
660+
# CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set
649661
CONFIG_COMPRESS_SECONDARY_PAYLOAD=y
650662

651663
#
@@ -703,9 +715,17 @@ CONFIG_HWBASE_DYNAMIC_MMIO=y
703715
CONFIG_HWBASE_DEFAULT_MMCONF=0xf0000000
704716
CONFIG_HWBASE_DIRECT_PCIDEV=y
705717
CONFIG_DECOMPRESS_OFAST=y
718+
719+
#
720+
# Boot Logo Configuration
721+
#
722+
# CONFIG_BMP_LOGO is not set
723+
# end of Boot Logo Configuration
724+
706725
CONFIG_WARNINGS_ARE_ERRORS=y
707726
CONFIG_MAX_REBOOT_CNT=3
708727
CONFIG_RELOCATABLE_MODULES=y
728+
CONFIG_GENERIC_GPIO_LIB=y
709729
CONFIG_HAVE_BOOTBLOCK=y
710730
CONFIG_HAVE_ROMSTAGE=y
711731
CONFIG_HAVE_RAMSTAGE=y

‎config/coreboot-optiplex-7019_9010_TXT-maximized.config‎

Lines changed: 25 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ CONFIG_COMPILER_GCC=y
1818
# CONFIG_UTIL_GENPARSER is not set
1919
CONFIG_OPTION_BACKEND_NONE=y
2020
# CONFIG_USE_OPTION_TABLE is not set
21+
# CONFIG_USE_CBFS_FILE_OPTION_BACKEND is not set
2122
CONFIG_COMPRESS_RAMSTAGE_LZMA=y
2223
# CONFIG_COMPRESS_RAMSTAGE_LZ4 is not set
2324
CONFIG_SEPARATE_ROMSTAGE=y
@@ -93,6 +94,7 @@ CONFIG_VENDOR_DELL=y
9394
# CONFIG_VENDOR_LIBRETREND is not set
9495
# CONFIG_VENDOR_MITAC_COMPUTING is not set
9596
# CONFIG_VENDOR_MSI is not set
97+
# CONFIG_VENDOR_NOVACUSTOM is not set
9698
# CONFIG_VENDOR_OCP is not set
9799
# CONFIG_VENDOR_OPENCELLULAR is not set
98100
# CONFIG_VENDOR_PACKARDBELL is not set
@@ -152,9 +154,9 @@ CONFIG_INTEL_GMA_VBT_FILE="src/mainboard/$(MAINBOARDDIR)/variants/$(VARIANT_DIR)
152154
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
153155
CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="OptiPlex 9010"
154156
# CONFIG_CONSOLE_POST is not set
157+
CONFIG_MAX_SOCKET=1
155158
CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
156159
CONFIG_CMOS_LAYOUT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.layout"
157-
CONFIG_MAX_SOCKET=1
158160
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
159161
CONFIG_TPM_PIRQ=0x0
160162
# CONFIG_BOARD_DELL_E6400 is not set
@@ -254,8 +256,9 @@ CONFIG_VERSTAGE_ADDR=0x2000000
254256
CONFIG_SMM_TSEG_SIZE=0x800000
255257
CONFIG_SMM_RESERVED_SIZE=0x100000
256258
CONFIG_SMM_MODULE_STACK_SIZE=0x400
257-
# CONFIG_USE_X86_64_SUPPORT is not set
258259
CONFIG_SERIRQ_CONTINUOUS_MODE=y
260+
# CONFIG_USE_X86_64_SUPPORT is not set
261+
CONFIG_CPU_PT_ROM_MAP_GB=4
259262
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
260263
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
261264
CONFIG_EHCI_BAR=0xfef00000
@@ -276,10 +279,13 @@ CONFIG_PCIEXP_COMMON_CLOCK=y
276279
CONFIG_INTEL_TXT_BIOSACM_ALIGNMENT=0x20000
277280
CONFIG_SOC_PHYSICAL_ADDRESS_WIDTH=0
278281
CONFIG_DEBUG_STACK_OVERFLOW_BREAKPOINTS=y
282+
CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
283+
CONFIG_CBFS_CACHE_ALIGN=8
284+
# CONFIG_ALWAYS_ALLOW_ABOVE_4G_ALLOCATION is not set
279285
CONFIG_INTEL_TXT_SINIT_SIZE=0x20000
280286
CONFIG_INTEL_TXT_HEAP_SIZE=0xe0000
281287
CONFIG_FIXED_SMBUS_IO_BASE=0x400
282-
CONFIG_CBFS_CACHE_ALIGN=8
288+
CONFIG_UART_BITBANG_TX_DELAY_MS=5
283289

284290
#
285291
# CPU
@@ -398,7 +404,6 @@ CONFIG_RESERVED_PHYSICAL_ADDRESS_BITS_SUPPORT=y
398404
CONFIG_AP_IN_SIPI_WAIT=y
399405
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
400406
CONFIG_POSTRAM_CBFS_CACHE_IN_BSS=y
401-
CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
402407
CONFIG_PC80_SYSTEM=y
403408
CONFIG_HAVE_CMOS_DEFAULT=y
404409
CONFIG_POSTCAR_STAGE=y
@@ -458,13 +463,15 @@ CONFIG_INTEL_GMA_ADD_VBT=y
458463
# CONFIG_SOFTWARE_I2C is not set
459464
CONFIG_I2C_TRANSFER_TIMEOUT_US=500000
460465
CONFIG_RESOURCE_ALLOCATION_TOP_DOWN=y
461-
CONFIG_USE_DDR3=y
466+
CONFIG_DRAM_SUPPORT_DDR3=y
462467
# end of Devices
463468

464469
#
465470
# Generic Drivers
466471
#
467472
CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
473+
# CONFIG_DRIVERS_EFI_VARIABLE_STORE is not set
474+
# CONFIG_DRIVERS_EFI_FW_INFO is not set
468475
# CONFIG_ELOG is not set
469476
CONFIG_CACHE_MRC_SETTINGS=y
470477
CONFIG_MRC_SETTINGS_PROTECT=y
@@ -489,6 +496,7 @@ CONFIG_HAVE_USBDEBUG=y
489496
CONFIG_HAVE_USBDEBUG_OPTIONS=y
490497
# CONFIG_USBDEBUG is not set
491498
# CONFIG_VPD is not set
499+
# CONFIG_DRIVERS_EMULATION_QEMU_FW_CFG is not set
492500
# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
493501
# CONFIG_DRIVERS_GENERIC_CBFS_UUID is not set
494502
# CONFIG_DRIVERS_GENESYSLOGIC_GL9750 is not set
@@ -544,6 +552,7 @@ CONFIG_TPM=y
544552
CONFIG_MAINBOARD_HAS_TPM1=y
545553
# CONFIG_TPM_DEACTIVATE is not set
546554
# CONFIG_DEBUG_TPM is not set
555+
# CONFIG_TPM_MEASURE_MRC_CACHE is not set
547556
# CONFIG_TPM_LOG_CB is not set
548557
CONFIG_TPM_LOG_TPM1=y
549558
# CONFIG_TPM_LOG_TPM2 is not set
@@ -660,6 +669,9 @@ CONFIG_PAYLOAD_LINUX=y
660669
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
661670
# CONFIG_PXE is not set
662671
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"
672+
# CONFIG_COMPRESSED_PAYLOAD_NONE is not set
673+
CONFIG_COMPRESSED_PAYLOAD_LZMA=y
674+
# CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set
663675
CONFIG_COMPRESS_SECONDARY_PAYLOAD=y
664676

665677
#
@@ -717,9 +729,17 @@ CONFIG_HWBASE_DYNAMIC_MMIO=y
717729
CONFIG_HWBASE_DEFAULT_MMCONF=0xf0000000
718730
CONFIG_HWBASE_DIRECT_PCIDEV=y
719731
CONFIG_DECOMPRESS_OFAST=y
732+
733+
#
734+
# Boot Logo Configuration
735+
#
736+
# CONFIG_BMP_LOGO is not set
737+
# end of Boot Logo Configuration
738+
720739
CONFIG_WARNINGS_ARE_ERRORS=y
721740
CONFIG_MAX_REBOOT_CNT=3
722741
CONFIG_RELOCATABLE_MODULES=y
742+
CONFIG_GENERIC_GPIO_LIB=y
723743
CONFIG_HAVE_BOOTBLOCK=y
724744
CONFIG_HAVE_ROMSTAGE=y
725745
CONFIG_HAVE_RAMSTAGE=y

‎config/coreboot-qemu-tpm1-prod.config‎

Lines changed: 22 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ CONFIG_CCACHE=y
1818
# CONFIG_UTIL_GENPARSER is not set
1919
CONFIG_OPTION_BACKEND_NONE=y
2020
# CONFIG_USE_OPTION_TABLE is not set
21+
# CONFIG_USE_CBFS_FILE_OPTION_BACKEND is not set
2122
CONFIG_COMPRESS_RAMSTAGE_LZMA=y
2223
# CONFIG_COMPRESS_RAMSTAGE_LZ4 is not set
2324
CONFIG_SEPARATE_ROMSTAGE=y
@@ -93,6 +94,7 @@ CONFIG_VENDOR_EMULATION=y
9394
# CONFIG_VENDOR_LIBRETREND is not set
9495
# CONFIG_VENDOR_MITAC_COMPUTING is not set
9596
# CONFIG_VENDOR_MSI is not set
97+
# CONFIG_VENDOR_NOVACUSTOM is not set
9698
# CONFIG_VENDOR_OCP is not set
9799
# CONFIG_VENDOR_OPENCELLULAR is not set
98100
# CONFIG_VENDOR_PACKARDBELL is not set
@@ -148,9 +150,9 @@ CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
148150
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
149151
CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="QEMU x86 q35/ich9"
150152
# CONFIG_CONSOLE_POST is not set
153+
CONFIG_MAX_SOCKET=1
151154
CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
152155
CONFIG_CMOS_LAYOUT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.layout"
153-
CONFIG_MAX_SOCKET=1
154156
CONFIG_TPM_PIRQ=0x0
155157
# CONFIG_BOARD_EMULATION_QEMU_AARCH64 is not set
156158
# CONFIG_BOARD_EMULATION_QEMU_ARMV7 is not set
@@ -224,6 +226,7 @@ CONFIG_ROMSTAGE_ADDR=0x2000000
224226
CONFIG_VERSTAGE_ADDR=0x2000000
225227
CONFIG_SMM_MODULE_STACK_SIZE=0x400
226228
# CONFIG_USE_X86_64_SUPPORT is not set
229+
CONFIG_CPU_PT_ROM_MAP_GB=4
227230
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x4000
228231
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
229232
CONFIG_EHCI_BAR=0xfef00000
@@ -238,8 +241,11 @@ CONFIG_HPET_MIN_TICKS=0x80
238241
CONFIG_PCIEXP_COMMON_CLOCK=y
239242
CONFIG_SOC_PHYSICAL_ADDRESS_WIDTH=0
240243
CONFIG_DEBUG_STACK_OVERFLOW_BREAKPOINTS=y
241-
CONFIG_FIXED_SMBUS_IO_BASE=0x400
244+
CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
242245
CONFIG_CBFS_CACHE_ALIGN=8
246+
# CONFIG_ALWAYS_ALLOW_ABOVE_4G_ALLOCATION is not set
247+
CONFIG_FIXED_SMBUS_IO_BASE=0x400
248+
CONFIG_UART_BITBANG_TX_DELAY_MS=5
243249

244250
#
245251
# CPU
@@ -315,7 +321,6 @@ CONFIG_ARCH_ALL_STAGES_X86_32=y
315321
CONFIG_HAVE_X86_64_SUPPORT=y
316322
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
317323
CONFIG_POSTRAM_CBFS_CACHE_IN_BSS=y
318-
CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
319324
CONFIG_PC80_SYSTEM=y
320325
CONFIG_HAVE_CMOS_DEFAULT=y
321326
CONFIG_POSTCAR_STAGE=y
@@ -381,6 +386,8 @@ CONFIG_RESOURCE_ALLOCATION_TOP_DOWN=y
381386
# Generic Drivers
382387
#
383388
CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
389+
# CONFIG_DRIVERS_EFI_VARIABLE_STORE is not set
390+
# CONFIG_DRIVERS_EFI_FW_INFO is not set
384391
# CONFIG_ELOG is not set
385392
# CONFIG_DRIVERS_OPTION_CFR is not set
386393
# CONFIG_SMMSTORE is not set
@@ -396,6 +403,7 @@ CONFIG_DRIVERS_EMULATION_QEMU_BOCHS=y
396403
CONFIG_DRIVERS_EMULATION_QEMU_CIRRUS=y
397404
CONFIG_DRIVERS_EMULATION_QEMU_XRES=1024
398405
CONFIG_DRIVERS_EMULATION_QEMU_YRES=768
406+
CONFIG_DRIVERS_EMULATION_QEMU_FW_CFG=y
399407
# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
400408
# CONFIG_DRIVERS_GENERIC_CBFS_UUID is not set
401409
# CONFIG_DRIVERS_GENESYSLOGIC_GL9750 is not set
@@ -533,6 +541,9 @@ CONFIG_PAYLOAD_LINUX=y
533541
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
534542
# CONFIG_PXE is not set
535543
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"
544+
# CONFIG_COMPRESSED_PAYLOAD_NONE is not set
545+
CONFIG_COMPRESSED_PAYLOAD_LZMA=y
546+
# CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set
536547
CONFIG_COMPRESS_SECONDARY_PAYLOAD=y
537548

538549
#
@@ -581,9 +592,17 @@ CONFIG_HAVE_DEBUG_SMBUS=y
581592

582593
CONFIG_DECOMPRESS_OFAST=y
583594
CONFIG_PROBE_RAM=y
595+
596+
#
597+
# Boot Logo Configuration
598+
#
599+
# CONFIG_BMP_LOGO is not set
600+
# end of Boot Logo Configuration
601+
584602
CONFIG_WARNINGS_ARE_ERRORS=y
585603
CONFIG_MAX_REBOOT_CNT=3
586604
CONFIG_RELOCATABLE_MODULES=y
605+
CONFIG_GENERIC_GPIO_LIB=y
587606
CONFIG_HAVE_BOOTBLOCK=y
588607
CONFIG_HAVE_ROMSTAGE=y
589608
CONFIG_HAVE_RAMSTAGE=y

0 commit comments

Comments
 (0)