86f992c38a
Linux boots fine :) Change-Id: Ifda06e5220666534b87f528deae16d8b956c32b3 Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com> Reviewed-on: http://review.coreboot.org/1225 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
17 lines
243 B
Text
17 lines
243 B
Text
if VENDOR_BACHMANN
|
|
|
|
choice
|
|
prompt "Mainboard model"
|
|
|
|
config BOARD_BACHMANN_OT200
|
|
bool "OT200"
|
|
|
|
endchoice
|
|
|
|
source "src/mainboard/bachmann/ot200/Kconfig"
|
|
|
|
config MAINBOARD_VENDOR
|
|
string
|
|
default "Bachmann electronic"
|
|
|
|
endif # VENDOR_BACHMANN
|