4 prompt "Mainboard model"
6 config BOARD_DIGITALLOGIC_ADL855PC
8 config BOARD_DIGITALLOGIC_MSM586SEG
10 config BOARD_DIGITALLOGIC_MSM800SEV
15 source "src/mainboard/digitallogic/adl855pc/Kconfig"
16 source "src/mainboard/digitallogic/msm586seg/Kconfig"
17 source "src/mainboard/digitallogic/msm800sev/Kconfig"
19 config MAINBOARD_VENDOR
21 default "DIGITAL-LOGIC"
23 endif # VENDOR_DIGITALLOGIC