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