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