## 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 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