payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / asrock / b75pro3-m / Kconfig
blob61ddac5f553267a1464d78a645f1a12fa78dfc07
1 # SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_ASROCK_B75PRO3_M
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select BOARD_ROMSIZE_KB_8192
8         select SUPERIO_NUVOTON_NCT6776
9         select HAVE_ACPI_RESUME
10         select HAVE_ACPI_TABLES
11         select INTEL_INT15
12         select NORTHBRIDGE_INTEL_SANDYBRIDGE
13         select SERIRQ_CONTINUOUS_MODE
14         select SOUTHBRIDGE_INTEL_C216
15         select USE_NATIVE_RAMINIT
16         select MAINBOARD_HAS_LIBGFXINIT
17         select DRIVERS_ASMEDIA_ASPM_BLACKLIST
19 config MAINBOARD_DIR
20         default "asrock/b75pro3-m"
22 config MAINBOARD_PART_NUMBER
23         default "B75 Pro3-M"
25 endif