payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / lenovo / haswell / Kconfig
blob897700df153d78eea403951a2d63522068631281
1 config BOARD_LENOVO_HASWELL_COMMON
2         def_bool n
3         select BOARD_ROMSIZE_KB_12288
4         select EC_LENOVO_H8
5         select EC_LENOVO_PMH7
6         select H8_HAS_BAT_THRESHOLDS_IMPL
7         select H8_HAS_PRIMARY_FN_KEYS
8         select HAVE_ACPI_RESUME
9         select HAVE_ACPI_TABLES
10         select HAVE_CMOS_DEFAULT
11         select HAVE_OPTION_TABLE
12         select INTEL_GMA_HAVE_VBT
13         select MAINBOARD_HAS_LIBGFXINIT
14         select MAINBOARD_HAS_TPM1
15         select MAINBOARD_USES_IFD_GBE_REGION
16         select MEMORY_MAPPED_TPM
17         select NORTHBRIDGE_INTEL_HASWELL
18         select NO_UART_ON_SUPERIO
19         select SERIRQ_CONTINUOUS_MODE
20         select SOUTHBRIDGE_INTEL_LYNXPOINT
21         select SYSTEM_TYPE_LAPTOP
23 config BOARD_LENOVO_THINKPAD_T440P
24         select BOARD_LENOVO_HASWELL_COMMON
25         select INTEL_INT15
27 config BOARD_LENOVO_THINKPAD_W541
28         select BOARD_LENOVO_HASWELL_COMMON
30 if BOARD_LENOVO_HASWELL_COMMON
32 config VBOOT
33         select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC
34         select GBB_FLAG_DISABLE_FWMP
35         select GBB_FLAG_DISABLE_LID_SHUTDOWN
36         select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC
37         select HAS_RECOVERY_MRC_CACHE
38         select VBOOT_VBNV_CMOS
40 config VBOOT_SLOTS_RW_AB
41         default y
43 config VBOOT_VBNV_OFFSET
44         hex
45         default 0x2a
47 config VARIANT_DIR
48         default "t440p" if BOARD_LENOVO_THINKPAD_T440P
49         default "w541" if BOARD_LENOVO_THINKPAD_W541
51 config DEVICETREE
52         default "variants/\$(CONFIG_VARIANT_DIR)/devicetree.cb"
54 config FMDFILE
55         default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/vboot-rwab.fmd" if VBOOT
57 config MAINBOARD_DIR
58         default "lenovo/haswell"
60 config MAINBOARD_PART_NUMBER
61         default "ThinkPad T440p" if BOARD_LENOVO_THINKPAD_T440P
62         default "ThinkPad W541" if BOARD_LENOVO_THINKPAD_W541
64 config VGA_BIOS_ID
65         string
66         default "8086,0416" if BOARD_LENOVO_THINKPAD_T440P
68 config USBDEBUG_HCD_INDEX
69         int
70         default 2
72 config DRIVER_LENOVO_SERIALS
73         bool
74         default n
76 config PS2K_EISAID
77         default "LEN0071"
79 config PS2M_EISAID
80         default "LEN0036" if BOARD_LENOVO_THINKPAD_T440P
81         default "LEN004A" if BOARD_LENOVO_THINKPAD_W541
83 config THINKPADEC_HKEY_EISAID
84         default "LEN0068"
86 config GFX_GMA_PANEL_1_PORT
87         default "DP3" if BOARD_LENOVO_THINKPAD_W541
89 endif