payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / google / jecht / Kconfig
blob4cbad81d09720d856b7596443cd12312a00313c0
1 config BOARD_GOOGLE_BASEBOARD_JECHT
2         def_bool n
3         select BOARD_ROMSIZE_KB_8192
4         select HAVE_ACPI_RESUME
5         select HAVE_ACPI_TABLES
6         select HAVE_OPTION_TABLE
7         select INTEL_GMA_HAVE_VBT
8         select MAINBOARD_HAS_CHROMEOS
9         select MAINBOARD_HAS_LIBGFXINIT
10         select MEMORY_MAPPED_TPM
11         select MAINBOARD_HAS_TPM1
12         select SOC_INTEL_BROADWELL
13         select SUPERIO_ITE_IT8772F
15 config BOARD_GOOGLE_GUADO
16         select BOARD_GOOGLE_BASEBOARD_JECHT
18 config BOARD_GOOGLE_JECHT
19         select BOARD_GOOGLE_BASEBOARD_JECHT
21 config BOARD_GOOGLE_RIKKU
22         select BOARD_GOOGLE_BASEBOARD_JECHT
24 config BOARD_GOOGLE_TIDUS
25         select BOARD_GOOGLE_BASEBOARD_JECHT
27 if BOARD_GOOGLE_BASEBOARD_JECHT
29 config VBOOT
30         select VBOOT_VBNV_CMOS
32 config MAINBOARD_DIR
33         default "google/jecht"
36 config VARIANT_DIR
37         default "guado" if BOARD_GOOGLE_GUADO
38         default "jecht" if BOARD_GOOGLE_JECHT
39         default "rikku" if BOARD_GOOGLE_RIKKU
40         default "tidus" if BOARD_GOOGLE_TIDUS
42 config MAINBOARD_PART_NUMBER
43         default "Guado" if BOARD_GOOGLE_GUADO
44         default "Jecht" if BOARD_GOOGLE_JECHT
45         default "Rikku" if BOARD_GOOGLE_RIKKU
46         default "Tidus" if BOARD_GOOGLE_TIDUS
48 # Override the default variant behavior, since the data.vbt is the same
49 # for all variants except tidus
50 config INTEL_GMA_VBT_FILE
51         default "src/mainboard/\$(MAINBOARDDIR)/data.vbt" if !BOARD_GOOGLE_TIDUS
53 config MAINBOARD_SMBIOS_MANUFACTURER
54         string
55         default "GOOGLE"
57 config PCIEXP_AER
58         def_bool n
60 config EDK2_BOOT_TIMEOUT
61         int
62         default 5
64 endif