acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / z87m_oc_formula / Kconfig
blobc05f2fd85acc8bd571ce81a52f5d4a45714d2d6f
1 # SPDX-License-Identifier: GPL-2.0-or-later
3 if BOARD_ASROCK_Z87M_OC_FORMULA
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 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/z87m_oc_formula"
21 config MAINBOARD_PART_NUMBER
22         default "Z87M OC Formula"
24 config USBDEBUG_HCD_INDEX
25         default 1 # This is the top-most of the two USB-3.0-Ports beneath the RJ45 jack.
26 endif