payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / prodrive / Kconfig
blob08474254f861953bbe6a6c100fdcf65b6ed3e077
1 if VENDOR_PRODRIVE
3 choice
4         prompt "Mainboard model"
6 source "src/mainboard/prodrive/*/Kconfig.name"
8 endchoice
10 source "src/mainboard/prodrive/*/Kconfig"
12 config MAINBOARD_VENDOR
13         string
14         default "Prodrive"
16 endif # VENDOR_PRODRIVE