acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / siemens / chili / Kconfig.name
blobac4e31eef4e83689743acba7e5cf0217ad297216
1 # SPDX-License-Identifier: GPL-2.0-only
3 comment "CHILI"
5 config BOARD_SIEMENS_CHILI_BASE
6         bool "-> Base board"
8 config BOARD_SIEMENS_CHILI_CHILI
9         bool "-> Chili (AiO)"