We need this to be Kconfig. The old way is not trusted by me.

[coreboot.git] / src / mainboard / dell / Kconfig

choice
        prompt "Mainboard model"
        depends on VENDOR_DELL

source "src/mainboard/dell/s1850/Kconfig"

endchoice