## SPDX-License-Identifier: GPL-2.0-only if BOARD_LENOVO_X131E config BOARD_SPECIFIC_OPTIONS def_bool y select BOARD_ROMSIZE_KB_12288 select DRIVER_LENOVO_SERIALS select EC_LENOVO_H8 select GFX_GMA_PANEL_1_ON_LVDS select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select HAVE_CMOS_DEFAULT select HAVE_OPTION_TABLE select INTEL_GMA_HAVE_VBT select INTEL_INT15 select MAINBOARD_HAS_LIBGFXINIT select MAINBOARD_HAS_TPM1 select MEMORY_MAPPED_TPM select NO_UART_ON_SUPERIO select NORTHBRIDGE_INTEL_SANDYBRIDGE select SERIRQ_CONTINUOUS_MODE select SOUTHBRIDGE_INTEL_C216 select SYSTEM_TYPE_LAPTOP select USE_NATIVE_RAMINIT 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 FMDFILE default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/vboot-rwab.fmd" if VBOOT config MAINBOARD_DIR default "lenovo/x131e" config MAINBOARD_PART_NUMBER default "ThinkPad X131e" config MAX_CPUS int default 4 config USBDEBUG_HCD_INDEX int default 2 config PS2K_EISAID default "MSF0001" config PS2M_EISAID default "LEN0026" endif # BOARD_LENOVO_X131E