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