acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / fatal1ty_z87_professional / Kconfig
blobb1600ef42ff7ec0358a83d977af7fb7b8ae785f4
1 ## SPDX-License-Identifier: GPL-2.0-only
2 if BOARD_ASROCK_FATAL1TY_Z87_PROFESSIONAL
4 config BOARD_SPECIFIC_OPTIONS
5         def_bool y
6         select BOARD_ROMSIZE_KB_8192
7         select DRIVERS_ASMEDIA_ASPM_BLACKLIST
8         select HAVE_ACPI_RESUME
9         select HAVE_ACPI_TABLES
10         select INTEL_GMA_HAVE_VBT
11         select MAINBOARD_HAS_LIBGFXINIT
12         select MAINBOARD_USES_IFD_GBE_REGION
13         select NORTHBRIDGE_INTEL_HASWELL
14         select SERIRQ_CONTINUOUS_MODE
15         select SOUTHBRIDGE_INTEL_LYNXPOINT
16         select SUPERIO_NUVOTON_NCT6776
18 config MAINBOARD_DIR
19         default "asrock/fatal1ty_z87_professional"
21 config MAINBOARD_PART_NUMBER
22         default "Fatal1ty Z87 Professional"
24 config USBDEBUG_HCD_INDEX
25         default 2 # USB-2.0-Header with the designation USB4_5
26 endif