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