@@ -38,6 +38,7 @@ CONFIG_TSEG_STAGE_CACHE=y
3838#
3939# Important: Run 'make distclean' before switching boards
4040#
41+ # CONFIG_VENDOR_51NB is not set
4142# CONFIG_VENDOR_ADLINK is not set
4243# CONFIG_VENDOR_AMD is not set
4344# CONFIG_VENDOR_AOPEN is not set
@@ -62,12 +63,15 @@ CONFIG_TSEG_STAGE_CACHE=y
6263# CONFIG_VENDOR_JETWAY is not set
6364# CONFIG_VENDOR_KONTRON is not set
6465# CONFIG_VENDOR_LENOVO is not set
66+ # CONFIG_VENDOR_LIBRETREND is not set
6567# CONFIG_VENDOR_LIPPERT is not set
6668# CONFIG_VENDOR_MSI is not set
69+ # CONFIG_VENDOR_OCP is not set
6770# CONFIG_VENDOR_OPENCELLULAR is not set
6871# CONFIG_VENDOR_PACKARDBELL is not set
6972# CONFIG_VENDOR_PCENGINES is not set
7073# CONFIG_VENDOR_PORTWELL is not set
74+ # CONFIG_VENDOR_PROTECTLI is not set
7175# CONFIG_VENDOR_PURISM is not set
7276# CONFIG_VENDOR_RAZER is not set
7377# CONFIG_VENDOR_RODA is not set
@@ -80,16 +84,19 @@ CONFIG_TSEG_STAGE_CACHE=y
8084CONFIG_VENDOR_SYSTEM76=y
8185# CONFIG_VENDOR_TI is not set
8286# CONFIG_VENDOR_UP is not set
83- CONFIG_MAINBOARD_VENDOR="System76"
8487CONFIG_BOARD_SPECIFIC_OPTIONS=y
85- CONFIG_MAINBOARD_DIR="system76/whl-u"
8688CONFIG_MAINBOARD_PART_NUMBER="darp5"
89+ CONFIG_MAINBOARD_VERSION="darp5"
90+ CONFIG_MAINBOARD_DIR="system76/whl-u"
8791CONFIG_MAX_CPUS=8
88- CONFIG_ONBOARD_VGA_IS_PRIMARY=y
92+ CONFIG_VGA_BIOS_ID="8086,3ea0"
93+ CONFIG_DIMM_MAX=2
8994CONFIG_DIMM_SPD_SIZE=512
95+ CONFIG_FMDFILE=""
96+ # CONFIG_NO_POST is not set
97+ CONFIG_MAINBOARD_VENDOR="System76"
98+ CONFIG_ONBOARD_VGA_IS_PRIMARY=y
9099# CONFIG_VGA_BIOS is not set
91- CONFIG_VGA_BIOS_ID="8086,3ea0"
92- CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
93100CONFIG_VGA_BIOS_FILE="pci8086,3ea0.rom"
94101CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
95102CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
@@ -102,33 +109,33 @@ CONFIG_CBFS_SIZE=0xA00000
102109CONFIG_OVERRIDE_DEVICETREE=""
103110CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
104111CONFIG_UART_FOR_CONSOLE=2
105- CONFIG_FMDFILE=""
106112# CONFIG_VBOOT is not set
107113CONFIG_DCACHE_RAM_BASE=0xfef00000
108114CONFIG_DCACHE_RAM_SIZE=0x40000
109115CONFIG_DCACHE_BSP_STACK_SIZE=0x20400
110116CONFIG_MMCONF_BASE_ADDRESS=0xe0000000
117+ CONFIG_MAX_ACPI_TABLE_SIZE_KB=144
111118CONFIG_HAVE_INTEL_FIRMWARE=y
112119CONFIG_MRC_SETTINGS_CACHE_SIZE=0x10000
113120# CONFIG_SPI_FLASH_INCLUDE_ALL_DRIVERS is not set
114121CONFIG_TPM_INIT=y
115122CONFIG_DRIVERS_INTEL_WIFI=y
116123CONFIG_IFD_BIN_PATH="$(FIRMWARE_OPEN_MODEL_DIR)/fd.rom"
117124CONFIG_ME_BIN_PATH="$(FIRMWARE_OPEN_MODEL_DIR)/me.rom"
118- CONFIG_DIMM_MAX=2
119- CONFIG_TPM_PIRQ=0x1F
125+ # CONFIG_CONSOLE_SERIAL is not set
126+ CONFIG_TPM_PIRQ=0x0
120127CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="Darter Pro"
121128CONFIG_HAVE_IFD_BIN=y
122129CONFIG_ADD_FSP_BINARIES=y
123130CONFIG_FSP_M_FILE="$(obj)/Fsp_M.fd"
124131CONFIG_FSP_S_FILE="$(obj)/Fsp_S.fd"
125132CONFIG_FSP_S_CBFS="fsps.bin"
126133CONFIG_FSP_M_CBFS="fspm.bin"
127- CONFIG_MAINBOARD_VERSION="darp5"
128- # CONFIG_DRIVERS_PS2_KEYBOARD is not set
134+ CONFIG_PS2K_EISAID="PNP0303"
135+ CONFIG_PS2M_EISAID="PNP0F13"
136+ CONFIG_PXE_ROM_ID="10ec,8168"
129137# CONFIG_DRIVERS_UART_8250IO is not set
130138CONFIG_PCIEXP_L1_SUB_STATE=y
131- # CONFIG_NO_POST is not set
132139CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
133140CONFIG_HEAP_SIZE=0x8000
134141CONFIG_CONSOLE_POST=y
@@ -146,7 +153,6 @@ CONFIG_CONSOLE_POST=y
146153# CONFIG_BOARD_SYSTEM76_THELIO_B1 is not set
147154# CONFIG_BOARD_SYSTEM76_GALP3_C is not set
148155CONFIG_BOARD_SYSTEM76_DARP5=y
149- CONFIG_PXE_ROM_ID="10ec,8168"
150156CONFIG_FSP_M_XIP=y
151157CONFIG_SUBSYSTEM_VENDOR_ID=0x1558
152158CONFIG_SUBSYSTEM_DEVICE_ID=0x1325
@@ -167,7 +173,7 @@ CONFIG_COREBOOT_ROMSIZE_KB_16384=y
167173# CONFIG_COREBOOT_ROMSIZE_KB_32768 is not set
168174# CONFIG_COREBOOT_ROMSIZE_KB_65536 is not set
169175CONFIG_COREBOOT_ROMSIZE_KB=16384
170- CONFIG_ROM_SIZE=0x1000000
176+ CONFIG_ROM_SIZE=0x01000000
171177CONFIG_HAVE_POWER_STATE_AFTER_FAILURE=y
172178CONFIG_HAVE_POWER_STATE_PREVIOUS_AFTER_FAILURE=y
173179CONFIG_POWER_STATE_DEFAULT_ON_AFTER_FAILURE=y
@@ -189,14 +195,15 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
189195# SoC
190196#
191197CONFIG_CPU_SPECIFIC_OPTIONS=y
192- CONFIG_HAVE_BOOTBLOCK=y
193198CONFIG_CPU_ADDR_BITS=36
194199CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
195200CONFIG_SMM_TSEG_SIZE=0x800000
196201CONFIG_SMM_RESERVED_SIZE=0x200000
197202CONFIG_SMM_MODULE_STACK_SIZE=0x800
198- CONFIG_ACPI_CPU_STRING="\\_PR .CP%02d"
203+ CONFIG_ACPI_CPU_STRING="\\_SB .CP%02d"
199204CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
205+ CONFIG_X86_RESET_VECTOR=0xfffffff0
206+ CONFIG_FSP_TEMP_RAM_SIZE=0x10000
200207# CONFIG_SOC_CAVIUM_CN81XX is not set
201208CONFIG_ARCH_ARMV8_EXTENSION=0
202209CONFIG_STACK_SIZE=0x1000
@@ -227,7 +234,6 @@ CONFIG_IED_REGION_SIZE=0x400000
227234CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
228235CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
229236CONFIG_SOC_INTEL_WHISKEYLAKE=y
230- CONFIG_FSP_TEMP_RAM_SIZE=0x10000
231237# CONFIG_NHLT_MAX98373 is not set
232238CONFIG_MAX_ROOT_PORTS=16
233239CONFIG_MAX_PCIE_CLOCKS=6
@@ -238,6 +244,7 @@ CONFIG_SOC_INTEL_CANNONLAKE_DEBUG_CONSENT=0
238244CONFIG_INTEL_TXT_BIOSACM_ALIGNMENT=0x40000
239245CONFIG_UART_PCI_ADDR=0x0
240246CONFIG_CPU_INTEL_NUM_FIT_ENTRIES=4
247+ CONFIG_SOC_INTEL_COMMON_BLOCK_P2SB=y
241248CONFIG_SOC_INTEL_COMMON=y
242249
243250#
@@ -265,7 +272,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO_ITSS_POL_CFG=y
265272# CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO_MULTI_ACPI_DEVICES is not set
266273CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO_DUAL_ROUTE_SUPPORT=y
267274CONFIG_SOC_INTEL_COMMON_BLOCK_GRAPHICS=y
268- # CONFIG_SKIP_GRAPHICS_ENABLING is not set
269275CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI=y
270276CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_VERSION_2=y
271277CONFIG_SOC_INTEL_COMMON_BLOCK_HDA=y
@@ -275,7 +281,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_I2C=y
275281CONFIG_SOC_INTEL_COMMON_BLOCK_ITSS=y
276282CONFIG_SOC_INTEL_COMMON_BLOCK_LPC=y
277283CONFIG_SOC_INTEL_COMMON_BLOCK_LPSS=y
278- CONFIG_SOC_INTEL_COMMON_BLOCK_P2SB=y
279284CONFIG_SOC_INTEL_COMMON_BLOCK_PCIE=y
280285CONFIG_SOC_INTEL_COMMON_BLOCK_PCR=y
281286CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
@@ -301,6 +306,7 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_TCO_ENABLE_THROUGH_SMBUS=y
301306CONFIG_SOC_INTEL_COMMON_BLOCK_SMM=y
302307CONFIG_SOC_INTEL_COMMON_BLOCK_SMM_IO_TRAP=y
303308# CONFIG_SOC_INTEL_COMMON_BLOCK_SMM_ESPI_DISABLE is not set
309+ # CONFIG_SOC_INTEL_COMMON_BLOCK_SMM_TCO_ENABLE is not set
304310CONFIG_SOC_INTEL_COMMON_BLOCK_SMM_S5_DELAY_MS=0
305311# CONFIG_HECI_DISABLE_USING_SMM is not set
306312CONFIG_SOC_INTEL_COMMON_BLOCK_SPI=y
@@ -384,7 +390,6 @@ CONFIG_SMM_STUB_STACK_SIZE=0x400
384390# CONFIG_SERIALIZED_SMM_INITIALIZATION is not set
385391# CONFIG_X86_AMD_FIXED_MTRRS is not set
386392# CONFIG_X86_AMD_INIT_SIPI is not set
387- # CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
388393# CONFIG_SOC_SETS_MSRS is not set
389394CONFIG_SMP=y
390395CONFIG_SSE=y
@@ -402,6 +407,8 @@ CONFIG_CPU_UCODE_BINARIES="$(FIRMWARE_OPEN_MODEL_DIR)/microcode.rom"
402407#
403408# CONFIG_NORTHBRIDGE_AMD_AGESA is not set
404409# CONFIG_NORTHBRIDGE_AMD_PI is not set
410+ CONFIG_INTEL_GMA_BCLV_OFFSET=0xc8254
411+ CONFIG_INTEL_GMA_BCLM_OFFSET=0xc8256
405412
406413#
407414# Southbridge
@@ -438,6 +445,8 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
438445# Embedded Controllers
439446#
440447CONFIG_EC_ACPI=y
448+ # CONFIG_EC_51NB_NPCE985LA0DX is not set
449+ # CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
441450# CONFIG_EC_GOOGLE_WILCO is not set
442451
443452#
@@ -470,7 +479,6 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
470479# CONFIG_ARCH_POSTCAR_X86_64 is not set
471480# CONFIG_USE_MARCH_586 is not set
472481# CONFIG_AP_IN_SIPI_WAIT is not set
473- CONFIG_X86_RESET_VECTOR=0xfffffff0
474482# CONFIG_SIPI_VECTOR_IN_ROM is not set
475483CONFIG_RAMBASE=0xe00000
476484CONFIG_RAMTOP=0x1000000
@@ -490,7 +498,6 @@ CONFIG_POSTCAR_STAGE=y
490498# CONFIG_ROMSTAGE_DEBUG_SPINLOOP is not set
491499CONFIG_BOOTBLOCK_SIMPLE=y
492500# CONFIG_BOOTBLOCK_NORMAL is not set
493- CONFIG_ACPI_HAVE_PCAT_8259=y
494501# CONFIG_COLLECT_TIMESTAMPS_NO_TSC is not set
495502CONFIG_COLLECT_TIMESTAMPS_TSC=y
496503# CONFIG_PAGING_IN_CACHE_AS_RAM is not set
@@ -532,6 +539,7 @@ CONFIG_PCIEXP_HOTPLUG_MEM=0x2000000
532539CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x20000000
533540CONFIG_PCIEXP_HOTPLUG_IO=0x2000
534541# CONFIG_EARLY_PCI_BRIDGE is not set
542+ # CONFIG_CHECK_REV_IN_OPROM_NAME is not set
535543CONFIG_INTEL_GMA_HAVE_VBT=y
536544CONFIG_INTEL_GMA_ADD_VBT=y
537545# CONFIG_SOFTWARE_I2C is not set
@@ -549,10 +557,10 @@ CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
549557CONFIG_CACHE_MRC_SETTINGS=y
550558CONFIG_MRC_SETTINGS_PROTECT=y
551559# CONFIG_HAS_RECOVERY_MRC_CACHE is not set
552- # CONFIG_MRC_CLEAR_NORMAL_CACHE_ON_RECOVERY_RETRAIN is not set
553560# CONFIG_MRC_SETTINGS_VARIABLE_DATA is not set
554561# CONFIG_MRC_WRITE_NV_LATE is not set
555562# CONFIG_RT8168_GET_MAC_FROM_VPD is not set
563+ # CONFIG_RT8168_SUPPORT_LEGACY_VPD_MAC is not set
556564# CONFIG_RT8168_SET_LED_MODE is not set
557565CONFIG_SMMSTORE=y
558566# CONFIG_SMMSTORE_IN_CBFS is not set
@@ -584,7 +592,7 @@ CONFIG_DRIVERS_GENERIC_WIFI=y
584592# CONFIG_USE_SAR is not set
585593# CONFIG_DRIVERS_AMD_PI is not set
586594# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
587- # CONFIG_DRIVERS_GENERIC_GFX is not set
595+ # CONFIG_DRIVERS_GFX_GENERIC is not set
588596CONFIG_DRIVERS_I2C_DESIGNWARE=y
589597# CONFIG_DRIVERS_I2C_DESIGNWARE_DEBUG is not set
590598# CONFIG_DRIVERS_I2C_MAX98373 is not set
@@ -605,6 +613,7 @@ CONFIG_FSP_USE_REPO=y
605613# CONFIG_DISPLAY_UPD_DATA is not set
606614CONFIG_PLATFORM_USES_FSP2_0=y
607615# CONFIG_PLATFORM_USES_FSP2_1 is not set
616+ CONFIG_HAVE_INTEL_FSP_REPO=y
608617# CONFIG_FSP_CAR is not set
609618# CONFIG_FSP_T_XIP is not set
610619CONFIG_FSP_USES_CB_STACK=y
@@ -614,15 +623,19 @@ CONFIG_HAVE_FSP_LOGO_SUPPORT=y
614623# CONFIG_INTEL_EDID is not set
615624# CONFIG_INTEL_INT15 is not set
616625CONFIG_INTEL_GMA_ACPI=y
626+ CONFIG_INTEL_GMA_BCLV_WIDTH=16
627+ CONFIG_INTEL_GMA_BCLM_WIDTH=16
617628# CONFIG_INTEL_GMA_SSC_ALTERNATE_REF is not set
618629# CONFIG_INTEL_GMA_SWSMISCI is not set
619630# CONFIG_DRIVER_INTEL_I210 is not set
631+ # CONFIG_DRIVERS_INTEL_ISH is not set
620632# CONFIG_DRIVERS_INTEL_MIPI_CAMERA is not set
621633# CONFIG_HAVE_INTEL_PTT is not set
622634# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
623635# CONFIG_DRIVER_MAXIM_MAX77686 is not set
624636# CONFIG_DRIVER_PARADE_PS8625 is not set
625637# CONFIG_DRIVER_PARADE_PS8640 is not set
638+ # CONFIG_DRIVERS_PS2_KEYBOARD is not set
626639CONFIG_DRIVERS_MC146818=y
627640CONFIG_LPC_TPM=y
628641CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
@@ -632,8 +645,8 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
632645# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
633646# CONFIG_DRIVERS_SIL_3114 is not set
634647# CONFIG_MAINBOARD_HAS_SPI_TPM_CR50 is not set
648+ # CONFIG_MAINBOARD_HAS_SPI_TPM is not set
635649# CONFIG_DRIVER_TI_TPS65090 is not set
636- # CONFIG_DRIVERS_TI_TPS65913 is not set
637650# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
638651# CONFIG_DRIVERS_USB_ACPI is not set
639652# CONFIG_COMMONLIB_STORAGE is not set
@@ -653,16 +666,22 @@ CONFIG_TPM2=y
653666CONFIG_MAINBOARD_HAS_TPM2=y
654667# CONFIG_DEBUG_TPM is not set
655668# CONFIG_TPM_RDRESP_NEED_DELAY is not set
669+ # CONFIG_TPM_MEASURED_BOOT is not set
656670
657671#
658672# Memory initialization
659673#
660674CONFIG_PLATFORM_HAS_DRAM_CLEAR=y
661675# CONFIG_SECURITY_CLEAR_DRAM_ON_REGULAR_BOOT is not set
662676# CONFIG_INTEL_TXT is not set
663- # CONFIG_ACPI_SATA_GENERATOR is not set
664- CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES=y
677+ # CONFIG_STM is not set
678+ CONFIG_BOOTMEDIA_LOCK_NONE=y
679+ # CONFIG_BOOTMEDIA_LOCK_CONTROLLER is not set
680+ # CONFIG_BOOTMEDIA_LOCK_CHIP is not set
665681# CONFIG_ACPI_AMD_HARDWARE_SLEEP_VALUES is not set
682+ CONFIG_ACPI_HAVE_PCAT_8259=y
683+ CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES=y
684+ CONFIG_HAVE_ACPI_TABLES=y
666685# CONFIG_BOOT_DEVICE_NOT_SPI_FLASH is not set
667686CONFIG_BOOT_DEVICE_SPI_FLASH=y
668687CONFIG_BOOT_DEVICE_MEMORY_MAPPED=y
@@ -675,7 +694,6 @@ CONFIG_RTC=y
675694CONFIG_BOOTBLOCK_CONSOLE=y
676695CONFIG_POSTCAR_CONSOLE=y
677696CONFIG_SQUELCH_EARLY_SMP=y
678- # CONFIG_CONSOLE_SERIAL is not set
679697CONFIG_FIXED_UART_FOR_CONSOLE=y
680698# CONFIG_SPKMODEM is not set
681699# CONFIG_CONSOLE_NE2K is not set
@@ -708,7 +726,6 @@ CONFIG_HAVE_OPTION_TABLE=y
708726CONFIG_IOAPIC=y
709727# CONFIG_USE_WATCHDOG_ON_BOOT is not set
710728# CONFIG_GFXUMA is not set
711- CONFIG_HAVE_ACPI_TABLES=y
712729CONFIG_COMMON_FADT=y
713730CONFIG_ACPI_NHLT=y
714731
@@ -719,6 +736,7 @@ CONFIG_ACPI_NHLT=y
719736# CONFIG_GENERATE_PIRQ_TABLE is not set
720737CONFIG_GENERATE_SMBIOS_TABLES=y
721738# CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
739+ CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
722740
723741#
724742# Payload
@@ -736,6 +754,7 @@ CONFIG_PAYLOAD_ELF=y
736754CONFIG_PAYLOAD_FILE="$(FIRMWARE_OPEN_UEFIPAYLOAD)"
737755CONFIG_PAYLOAD_OPTIONS=""
738756# CONFIG_PXE is not set
757+ # CONFIG_COMPRESSED_PAYLOAD_NONE is not set
739758CONFIG_COMPRESSED_PAYLOAD_LZMA=y
740759# CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set
741760# CONFIG_PAYLOAD_IS_FLAT_BINARY is not set
@@ -770,6 +789,7 @@ CONFIG_DISPLAY_FSP_VERSION_INFO=y
770789#
771790# General Debug Settings
772791#
792+ # CONFIG_GDB_STUB is not set
773793# CONFIG_FATAL_ASSERTS is not set
774794CONFIG_HAVE_DEBUG_GPIO=y
775795# CONFIG_DEBUG_GPIO is not set
@@ -800,5 +820,6 @@ CONFIG_MAX_REBOOT_CNT=3
800820# CONFIG_EARLY_CBMEM_LIST is not set
801821CONFIG_RELOCATABLE_MODULES=y
802822CONFIG_GENERIC_GPIO_LIB=y
823+ CONFIG_HAVE_BOOTBLOCK=y
803824CONFIG_HAVE_ROMSTAGE=y
804825CONFIG_HAVE_RAMSTAGE=y
0 commit comments