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