payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / libretrend / Kconfig
blob0612ec7fb382637d5e5ea6a9525a28e35cbcec42
1 if VENDOR_LIBRETREND
3 choice
4         prompt "Mainboard model"
6 source "src/mainboard/libretrend/*/Kconfig.name"
8 endchoice
10 source "src/mainboard/libretrend/*/Kconfig"
12 config MAINBOARD_VENDOR
13         default "Libretrend"
15 endif # VENDOR_LIBRETREND