payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / intel / baskingridge / Kconfig
blob9983e7492208def182d50eb37992b84e2f3b9170
1 if BOARD_INTEL_BASKING_RIDGE
3 config BOARD_SPECIFIC_OPTIONS
4         def_bool y
5         select NORTHBRIDGE_INTEL_HASWELL
6         select SOUTHBRIDGE_INTEL_LYNXPOINT
7         select BOARD_ROMSIZE_KB_8192
8         select HAVE_ACPI_TABLES
9         select HAVE_OPTION_TABLE
10         select HAVE_ACPI_RESUME
11         select MAINBOARD_HAS_CHROMEOS
12         select MEMORY_MAPPED_TPM
13         select INTEL_INT15
15 config VBOOT
16         select VBOOT_VBNV_CMOS
18 config MAINBOARD_DIR
19         default "intel/baskingridge"
21 config MAINBOARD_PART_NUMBER
22         default "BASKING RIDGE"
24 config MAX_CPUS
25         int
26         default 16
28 endif # BOARD_INTEL_BASKING_RIDGE