?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / z87m_oc_formula / Kconfig.name
blob0412b1c00cda29c3f9aeb55a1d2befb83868bb71
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 config BOARD_ASROCK_Z87M_OC_FORMULA
4         bool "Z87M OC Formula"
coreboot repo mirror