## SPDX-License-Identifier: GPL-2.0-only config BOARD_LENOVO_HASWELL_COMMON def_bool n select BOARD_ROMSIZE_KB_12288 select EC_LENOVO_H8 select EC_LENOVO_PMH7 select H8_HAS_BAT_THRESHOLDS_IMPL select H8_HAS_LEDLOGO select H8_HAS_PRIMARY_FN_KEYS select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select HAVE_CMOS_DEFAULT select HAVE_OPTION_TABLE select INTEL_GMA_HAVE_VBT select MAINBOARD_HAS_LIBGFXINIT select MAINBOARD_HAS_TPM1 select MAINBOARD_USES_IFD_GBE_REGION select MEMORY_MAPPED_TPM select NORTHBRIDGE_INTEL_HASWELL select NO_UART_ON_SUPERIO select SERIRQ_CONTINUOUS_MODE select SOUTHBRIDGE_INTEL_LYNXPOINT select SYSTEM_TYPE_LAPTOP config BOARD_LENOVO_THINKPAD_T440P select BOARD_LENOVO_HASWELL_COMMON select INTEL_INT15 config BOARD_LENOVO_THINKPAD_W541 select BOARD_LENOVO_HASWELL_COMMON if BOARD_LENOVO_HASWELL_COMMON config VBOOT select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC select GBB_FLAG_DISABLE_FWMP select GBB_FLAG_DISABLE_LID_SHUTDOWN select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC select HAS_RECOVERY_MRC_CACHE select VBOOT_VBNV_FLASH config VBOOT_SLOTS_RW_AB default y config VARIANT_DIR default "t440p" if BOARD_LENOVO_THINKPAD_T440P default "w541" if BOARD_LENOVO_THINKPAD_W541 config DEVICETREE default "variants/\$(CONFIG_VARIANT_DIR)/devicetree.cb" config FMDFILE default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/vboot-rwab.fmd" if VBOOT config MAINBOARD_DIR default "lenovo/haswell" config MAINBOARD_PART_NUMBER default "ThinkPad T440p" if BOARD_LENOVO_THINKPAD_T440P default "ThinkPad W541" if BOARD_LENOVO_THINKPAD_W541 config ONBOARD_VGA_IS_PRIMARY bool default y config VGA_BIOS_ID string default "8086,0416" if BOARD_LENOVO_THINKPAD_T440P config USBDEBUG_HCD_INDEX int default 2 config DRIVER_LENOVO_SERIALS bool default n config PS2K_EISAID default "LEN0071" config PS2M_EISAID default "LEN0036" if BOARD_LENOVO_THINKPAD_T440P default "LEN004A" if BOARD_LENOVO_THINKPAD_W541 config THINKPADEC_HKEY_EISAID default "LEN0068" config GFX_GMA_PANEL_1_PORT default "DP3" if BOARD_LENOVO_THINKPAD_W541 endif