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