mainboard/intel/avenuecity_crb: Update full IIO configuration
[coreboot2.git] / src / mainboard / samsung / Kconfig
blobfb5a26ff1ca5a4057baa3cf77f2c87887e83de11
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if VENDOR_SAMSUNG
5 choice
6         prompt "Mainboard model"
8 source "src/mainboard/samsung/*/Kconfig.name"
10 endchoice
12 source "src/mainboard/samsung/*/Kconfig"
14 config MAINBOARD_VENDOR
15         default "SAMSUNG"
17 endif # VENDOR_SAMSUNG