89525b3b4f
No boards are disabled anymore. Change-Id: Ic8f7bdcc02faa73ce8e647756d40b20a920fc430 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/43290 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
17 lines
254 B
Text
17 lines
254 B
Text
if VENDOR_LIPPERT
|
|
|
|
comment "was acquired by ADLINK"
|
|
|
|
choice
|
|
prompt "Mainboard model"
|
|
|
|
source "src/mainboard/lippert/*/Kconfig.name"
|
|
|
|
endchoice
|
|
|
|
source "src/mainboard/lippert/*/Kconfig"
|
|
|
|
config MAINBOARD_VENDOR
|
|
default "LiPPERT"
|
|
|
|
endif # VENDOR_LIPPERT
|