66#
77# General setup
88#
9- CONFIG_LOCALVERSION=""
9+ CONFIG_LOCALVERSION="-heads "
1010CONFIG_CBFS_PREFIX="fallback"
1111# CONFIG_MULTIPLE_CBFS_INSTANCES is not set
1212CONFIG_COMPILER_GCC=y
@@ -19,13 +19,15 @@ CONFIG_COMPILER_GCC=y
1919# CONFIG_UNCOMPRESSED_RAMSTAGE is not set
2020CONFIG_COMPRESS_RAMSTAGE=y
2121# CONFIG_INCLUDE_CONFIG_FILE is not set
22+ # CONFIG_NO_XIP_EARLY_STAGES is not set
2223CONFIG_EARLY_CBMEM_INIT=y
24+ # CONFIG_EARLY_CBMEM_LIST is not set
2325# CONFIG_COLLECT_TIMESTAMPS is not set
2426# CONFIG_USE_BLOBS is not set
2527# CONFIG_COVERAGE is not set
2628CONFIG_RELOCATABLE_MODULES=y
2729# CONFIG_RELOCATABLE_RAMSTAGE is not set
28- CONFIG_FLASHMAP_OFFSET=0x00610000
30+ # CONFIG_NO_STAGE_CACHE is not set
2931CONFIG_BOOTBLOCK_SIMPLE=y
3032# CONFIG_BOOTBLOCK_NORMAL is not set
3133CONFIG_BOOTBLOCK_CUSTOM=y
@@ -35,16 +37,17 @@ CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c"
3537# CONFIG_GENERIC_GPIO_LIB is not set
3638# CONFIG_BOARD_ID_AUTO is not set
3739# CONFIG_BOARD_ID_MANUAL is not set
40+ CONFIG_DEVICETREE="devicetree.cb"
3841# CONFIG_RAM_CODE_SUPPORT is not set
3942# CONFIG_BOOTSPLASH_IMAGE is not set
40- CONFIG_ACPI_SATA_GENERATOR=y
4143
4244#
4345# Mainboard
4446#
4547# CONFIG_VENDOR_A_TREND is not set
4648# CONFIG_VENDOR_AAEON is not set
4749# CONFIG_VENDOR_ABIT is not set
50+ # CONFIG_VENDOR_ADI is not set
4851# CONFIG_VENDOR_ADLINK is not set
4952# CONFIG_VENDOR_ADVANSUS is not set
5053# CONFIG_VENDOR_AMD is not set
@@ -112,6 +115,9 @@ CONFIG_MAINBOARD_DIR="lenovo/x230"
112115CONFIG_MAINBOARD_PART_NUMBER="ThinkPad X230"
113116CONFIG_MAINBOARD_VENDOR="LENOVO"
114117CONFIG_MAX_CPUS=8
118+ CONFIG_CACHE_ROM_SIZE_OVERRIDE=0
119+ CONFIG_CBFS_SIZE=0x400000
120+ CONFIG_UART_FOR_CONSOLE=0
115121CONFIG_VGA_BIOS_ID="8086,0166"
116122# CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
117123# CONFIG_VGA_BIOS is not set
@@ -127,17 +133,14 @@ CONFIG_DRAM_RESET_GATE_GPIO=10
127133CONFIG_POST_IO=y
128134CONFIG_MAX_REBOOT_CNT=3
129135CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y
130- CONFIG_UART_FOR_CONSOLE=0
131136CONFIG_ID_SECTION_OFFSET=0x80
132- CONFIG_RAMTOP=0x200000
133- CONFIG_CACHE_ROM_SIZE_OVERRIDE=0
134- CONFIG_CBFS_SIZE=0x400000
135137# CONFIG_POST_DEVICE is not set
136138CONFIG_USBDEBUG_HCD_INDEX=2
137139CONFIG_IFD_BIOS_SECTION=""
138140CONFIG_IFD_ME_SECTION=""
139141CONFIG_BOOT_MEDIA_SPI_BUS=0
140142CONFIG_TPM_PIRQ=0
143+ CONFIG_DRIVERS_PS2_KEYBOARD=y
141144CONFIG_TTYS0_LCS=3
142145# CONFIG_CONSOLE_POST is not set
143146CONFIG_DRIVERS_UART_8250IO=y
@@ -161,7 +164,6 @@ CONFIG_BOARD_LENOVO_X230=y
161164CONFIG_CPU_ADDR_BITS=36
162165CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
163166# CONFIG_USBDEBUG is not set
164- CONFIG_DRIVERS_PS2_KEYBOARD=y
165167# CONFIG_NO_POST is not set
166168CONFIG_BOARD_ROMSIZE_KB_12288=y
167169# CONFIG_COREBOOT_ROMSIZE_KB_64 is not set
@@ -174,9 +176,12 @@ CONFIG_BOARD_ROMSIZE_KB_12288=y
174176# CONFIG_COREBOOT_ROMSIZE_KB_8192 is not set
175177CONFIG_COREBOOT_ROMSIZE_KB_12288=y
176178# CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set
179+ # CONFIG_COREBOOT_ROMSIZE_KB_32768 is not set
180+ # CONFIG_COREBOOT_ROMSIZE_KB_65536 is not set
177181CONFIG_COREBOOT_ROMSIZE_KB=12288
178182CONFIG_ROM_SIZE=0xc00000
179183CONFIG_FMDFILE=""
184+ # CONFIG_MAINBOARD_HAS_TPM2 is not set
180185CONFIG_SYSTEM_TYPE_LAPTOP=y
181186# CONFIG_CBFS_AUTOGEN_ATTRIBUTES is not set
182187
@@ -193,23 +198,27 @@ CONFIG_CPU_SPECIFIC_OPTIONS=y
193198CONFIG_C_ENV_BOOTBLOCK_SIZE=0x10000
194199CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
195200CONFIG_ROMSTAGE_ADDR=0x2000000
201+ CONFIG_VERSTAGE_ADDR=0x2000000
196202CONFIG_SMM_TSEG_SIZE=0x800000
197- CONFIG_DCACHE_RAM_MRC_VAR_SIZE=0x4000
203+ CONFIG_DCACHE_RAM_MRC_VAR_SIZE=0x0
198204CONFIG_BUILD_WITH_FAKE_IFD=y
199205CONFIG_BOOTBLOCK_NORTHBRIDGE_INIT="northbridge/intel/sandybridge/bootblock.c"
200206CONFIG_BOOTBLOCK_SOUTHBRIDGE_INIT="southbridge/intel/bd82x6x/bootblock.c"
201207CONFIG_CACHE_MRC_SIZE_KB=512
202208CONFIG_TTYS0_BASE=0x3f8
203209CONFIG_EHCI_BAR=0xfef00000
204210CONFIG_SERIRQ_CONTINUOUS_MODE=y
211+ CONFIG_RAMTOP=0x200000
205212CONFIG_HEAP_SIZE=0x4000
206213CONFIG_CONSOLE_CBMEM=y
214+ CONFIG_UART_PCI_ADDR=0
215+ CONFIG_HPET_MIN_TICKS=0x80
207216# CONFIG_SOC_MARVELL_ARMADA38X is not set
208217# CONFIG_SOC_MARVELL_BG4CD is not set
209218# CONFIG_SOC_MEDIATEK_MT8173 is not set
210219# CONFIG_SOC_NVIDIA_TEGRA124 is not set
211- # CONFIG_SOC_NVIDIA_TEGRA132 is not set
212220# CONFIG_SOC_NVIDIA_TEGRA210 is not set
221+ # CONFIG_SOC_QC_IPQ40XX is not set
213222# CONFIG_SOC_QC_IPQ806X is not set
214223# CONFIG_SOC_ROCKCHIP_RK3288 is not set
215224# CONFIG_SOC_ROCKCHIP_RK3399 is not set
@@ -243,15 +252,16 @@ CONFIG_LAPIC_MONOTONIC_TIMER=y
243252# CONFIG_UDELAY_TIMER2 is not set
244253# CONFIG_TSC_SYNC_LFENCE is not set
245254CONFIG_TSC_SYNC_MFENCE=y
255+ # CONFIG_NO_FIXED_XIP_ROM_SIZE is not set
246256CONFIG_LOGICAL_CPUS=y
247257CONFIG_SMM_TSEG=y
248258CONFIG_SMM_MODULE_HEAP_SIZE=0x4000
249259# CONFIG_SMM_LAPIC_REMAP_MITIGATION is not set
250260# CONFIG_SERIALIZED_SMM_INITIALIZATION is not set
251261# CONFIG_X86_AMD_FIXED_MTRRS is not set
252262# CONFIG_PLATFORM_USES_FSP1_0 is not set
253- # CONFIG_BACKUP_DEFAULT_SMM_REGION is not set
254263# CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
264+ # CONFIG_SOC_SETS_MSRS is not set
255265CONFIG_CACHE_AS_RAM=y
256266CONFIG_SMP=y
257267CONFIG_AP_SIPI_VECTOR=0xfffff000
@@ -279,7 +289,6 @@ CONFIG_NORTHBRIDGE_INTEL_IVYBRIDGE=y
279289CONFIG_USE_NATIVE_RAMINIT=y
280290CONFIG_SANDYBRIDGE_IVYBRIDGE_LVDS=y
281291CONFIG_HPET_ADDRESS=0xfed00000
282- CONFIG_HPET_MIN_TICKS=0x80
283292CONFIG_MAX_PIRQ_LINKS=4
284293
285294#
@@ -312,6 +321,11 @@ CONFIG_HAVE_INTEL_FIRMWARE=y
312321# Intel Firmware
313322#
314323CONFIG_IFD_PLATFORM_SECTION=""
324+ CONFIG_VBOOT_VBNV_OFFSET=0x26
325+ # CONFIG_VBOOT_VBNV_CMOS is not set
326+ # CONFIG_VBOOT_VBNV_EC is not set
327+ # CONFIG_VBOOT_VBNV_FLASH is not set
328+ # CONFIG_VBOOT is not set
315329# CONFIG_MAINBOARD_HAS_CHROMEOS is not set
316330# CONFIG_UEFI_2_4_BINDING is not set
317331# CONFIG_USE_SIEMENS_HWILIB is not set
@@ -371,12 +385,15 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
371385# CONFIG_ROMCC is not set
372386# CONFIG_LATE_CBMEM_INIT is not set
373387CONFIG_PC80_SYSTEM=y
388+ # CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
389+ # CONFIG_BOOTBLOCK_SAVE_BIST_AND_TIMESTAMP is not set
374390CONFIG_HAVE_CMOS_DEFAULT=y
375391CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
376392CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
377393# CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set
378- CONFIG_VERSTAGE_ADDR=0x2000000
379394# CONFIG_POSTCAR_STAGE is not set
395+ # CONFIG_VERSTAGE_DEBUG_SPINLOOP is not set
396+ # CONFIG_ROMSTAGE_DEBUG_SPINLOOP is not set
380397
381398#
382399# Devices
@@ -416,6 +433,8 @@ CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
416433# CONFIG_GIC is not set
417434# CONFIG_IPMI_KCS is not set
418435# CONFIG_DRIVERS_LENOVO_WACOM is not set
436+ # CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
437+ # CONFIG_REALTEK_8168_RESET is not set
419438CONFIG_SPI_FLASH=y
420439CONFIG_SPI_ATOMIC_SEQUENCING=y
421440CONFIG_SPI_FLASH_MEMORY_MAPPED=y
@@ -435,22 +454,26 @@ CONFIG_SPI_FLASH_WINBOND=y
435454# CONFIG_HAVE_SPI_CONSOLE_SUPPORT is not set
436455CONFIG_DRIVERS_UART=y
437456CONFIG_NO_UART_ON_SUPERIO=y
457+ # CONFIG_UART_OVERRIDE_INPUT_CLOCK_DIVIDER is not set
458+ # CONFIG_UART_OVERRIDE_REFCLK is not set
438459# CONFIG_DRIVERS_UART_8250MEM is not set
439460# CONFIG_DRIVERS_UART_8250MEM_32 is not set
440461# CONFIG_HAVE_UART_SPECIAL is not set
441462# CONFIG_DRIVERS_UART_OXPCIE is not set
442463# CONFIG_DRIVERS_UART_PL011 is not set
464+ # CONFIG_UART_USE_REFCLK_AS_INPUT_CLOCK is not set
443465CONFIG_HAVE_USBDEBUG=y
444466CONFIG_HAVE_USBDEBUG_OPTIONS=y
445- # CONFIG_DRIVER_XPOWERS_AXP209 is not set
446467CONFIG_SMBIOS_PROVIDED_BY_MOBO=y
468+ # CONFIG_DRIVERS_I2C_PCF8523 is not set
447469# CONFIG_DRIVERS_I2C_RTD2132 is not set
448470# CONFIG_INTEL_DP is not set
449471# CONFIG_INTEL_DDI is not set
450472CONFIG_INTEL_EDID=y
451473CONFIG_INTEL_INT15=y
452474CONFIG_INTEL_GMA_ACPI=y
453475# CONFIG_DRIVER_INTEL_I210 is not set
476+ CONFIG_DRIVERS_INTEL_WIFI=y
454477# CONFIG_DRIVER_MAXIM_MAX77686 is not set
455478# CONFIG_DRIVER_PARADE_PS8625 is not set
456479# CONFIG_DRIVER_PARADE_PS8640 is not set
@@ -462,16 +485,19 @@ CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
462485# CONFIG_SKIP_TPM_STARTUP_ON_NORMAL_BOOT is not set
463486# CONFIG_TPM_DEACTIVATE is not set
464487CONFIG_DRIVERS_RICOH_RCE822=y
488+ # CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
465489# CONFIG_DRIVERS_SIL_3114 is not set
466490# CONFIG_DRIVER_TI_TPS65090 is not set
467491# CONFIG_DRIVERS_TI_TPS65913 is not set
468492# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
469- # CONFIG_RTC is not set
493+ # CONFIG_DRIVER_XPOWERS_AXP209 is not set
494+ CONFIG_ACPI_SATA_GENERATOR=y
495+ CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES=y
496+ CONFIG_RTC=y
470497# CONFIG_TPM is not set
471498CONFIG_STACK_SIZE=0x1000
472499CONFIG_MMCONF_SUPPORT_DEFAULT=y
473500CONFIG_MMCONF_SUPPORT=y
474- # CONFIG_BOOTMODE_STRAPS is not set
475501
476502#
477503# Console
@@ -530,7 +556,6 @@ CONFIG_VGA=y
530556CONFIG_HAVE_ACPI_TABLES=y
531557CONFIG_COMMON_FADT=y
532558# CONFIG_ACPI_NHLT is not set
533- CONFIG_COREBOOT_TABLE_SIZE=0x8000
534559
535560#
536561# System tables
@@ -544,6 +569,7 @@ CONFIG_GENERATE_SMBIOS_TABLES=y
544569#
545570# CONFIG_PAYLOAD_NONE is not set
546571# CONFIG_PAYLOAD_ELF is not set
572+ # CONFIG_PAYLOAD_BAYOU is not set
547573# CONFIG_PAYLOAD_FILO is not set
548574# CONFIG_PAYLOAD_GRUB2 is not set
549575# CONFIG_PAYLOAD_SEABIOS is not set
@@ -552,6 +578,7 @@ CONFIG_PAYLOAD_LINUX=y
552578# CONFIG_PAYLOAD_TIANOCORE is not set
553579CONFIG_PAYLOAD_FILE="./bzImage"
554580CONFIG_PAYLOAD_OPTIONS=""
581+ # CONFIG_PXE is not set
555582CONFIG_LINUX_COMMAND_LINE=""
556583CONFIG_LINUX_INITRD=""
557584# CONFIG_PAYLOAD_IS_FLAT_BINARY is not set
@@ -562,6 +589,7 @@ CONFIG_LINUX_INITRD=""
562589# CONFIG_COREINFO_SECONDARY_PAYLOAD is not set
563590# CONFIG_MEMTEST_SECONDARY_PAYLOAD is not set
564591# CONFIG_NVRAMCUI_SECONDARY_PAYLOAD is not set
592+ # CONFIG_TINT_SECONDARY_PAYLOAD is not set
565593
566594#
567595# Debugging
@@ -579,6 +607,7 @@ CONFIG_HAVE_DEBUG_RAM_SETUP=y
579607# CONFIG_DEBUG_ACPI is not set
580608# CONFIG_DEBUG_SPI_FLASH is not set
581609# CONFIG_TRACE is not set
610+ # CONFIG_DEBUG_BOOT_STATE is not set
582611# CONFIG_ENABLE_APIC_EXT_ID is not set
583612CONFIG_WARNINGS_ARE_ERRORS=y
584613CONFIG_IASL_WARNINGS_ARE_ERRORS=y
@@ -588,4 +617,5 @@ CONFIG_IASL_WARNINGS_ARE_ERRORS=y
588617# CONFIG_POWER_BUTTON_FORCE_DISABLE is not set
589618# CONFIG_POWER_BUTTON_IS_OPTIONAL is not set
590619# CONFIG_REG_SCRIPT is not set
591- # CONFIG_DEBUG_BOOT_STATE is not set
620+ # CONFIG_CREATE_BOARD_CHECKLIST is not set
621+ # CONFIG_MAKE_CHECKLIST_PUBLIC is not set
0 commit comments