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