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