acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / getac / Kconfig
blob68447c5b021eb1a71043f1d7d6f10703a9c675ab
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if VENDOR_GETAC
5 choice
6         prompt "Mainboard model"
8 source "src/mainboard/getac/*/Kconfig.name"
10 endchoice
12 source "src/mainboard/getac/*/Kconfig"
14 config MAINBOARD_VENDOR
15         default "Getac"
17 endif # VENDOR_GETAC