IEI Kino added to IEI mainboard Kconfig. I missed this in r5812

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

diff --git a/src/mainboard/iei/Kconfig b/src/mainboard/iei/Kconfig
index f436e007b293b8e4ecb52296692a4d01ca80b133..15d93d7cdadf70211667a7d254cd09d15b5ec674 100644 (file)
--- a/src/mainboard/iei/Kconfig
+++ b/src/mainboard/iei/Kconfig
@@ -16,14 +16,29 @@
 ## along with this program; if not, write to the Free Software
 ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
 ##
+if VENDOR_IEI
 
 choice
        prompt "Mainboard model"
-       depends on VENDOR_IEI
+
+config BOARD_IEI_JUKI_511P
+       bool "JUKI-511P"
+config BOARD_IEI_KINO_FAM10
+       bool "Kino-780AM2(Fam10)"
+config BOARD_IEI_NOVA_4899R
+       bool "NOVA-4899R"
+config BOARD_IEI_PCISA_LX_800_R10
+       bool "PCISA LX-800-R10"
+
+endchoice
 
 source "src/mainboard/iei/juki-511p/Kconfig"
+source "src/mainboard/iei/kino-780am2-fam10/Kconfig"
 source "src/mainboard/iei/nova4899r/Kconfig"
 source "src/mainboard/iei/pcisa-lx-800-r10/Kconfig"
 
-endchoice
+config MAINBOARD_VENDOR
+       string
+       default "IEI"
 
+endif # VENDOR_IEI