payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / foxconn / Kconfig
blob13a6b85819a2117663a3826b591d3f86b94492ea
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if VENDOR_FOXCONN
5 choice
6         prompt "Mainboard model"
8 source "src/mainboard/foxconn/*/Kconfig.name"
10 endchoice
12 source "src/mainboard/foxconn/*/Kconfig"
14 config MAINBOARD_VENDOR
15         default "Foxconn"
17 endif # VENDOR_FOXCONN