?  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 / intel / dq67sw / Kconfig.name
blob005c4ce17692ed674e735ad0e862a5bfa75b98bc
1 ## SPDX-License-Identifier: GPL-2.0-only
2
3 config BOARD_INTEL_DQ67SW
4         bool "DQ67SW"
coreboot repo mirror