payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / asrock / b85m_pro4 / Kconfig
blob65da20d4e06e38f5181bb948f77e567644b2eefe
1 ## SPDX-License-Identifier: GPL-2.0-or-later
3 if BOARD_ASROCK_B85M_PRO4
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select BOARD_ROMSIZE_KB_8192
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_USES_IFD_GBE_REGION
15         select MEMORY_MAPPED_TPM
16         select NORTHBRIDGE_INTEL_HASWELL
17         select SERIRQ_CONTINUOUS_MODE
18         select SOUTHBRIDGE_INTEL_LYNXPOINT
19         select SUPERIO_NUVOTON_NCT6776
21 config CBFS_SIZE
22         default 0x200000
24 config MAINBOARD_DIR
25         default "asrock/b85m_pro4"
27 config MAINBOARD_PART_NUMBER
28         default "B85M Pro4"
30 endif