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