92fe3de9a56de83b33ec7b01d7b5852ccb6c5557
[coreboot.git] / src / mainboard / dell / Kconfig
1 choice
2         prompt "Mainboard model"
3         depends on VENDOR_DELL
4
5 source "src/mainboard/dell/s1850/Kconfig"
6
7 endchoice
8