src/mainboard/iei/Kconfig

   1 ##
   2 ## This file is part of the coreboot project.
   3 ##
   4 ## Copyright (C) 2009 Uwe Hermann <uwe@hermann-uwe.de>
   5 ##
   6 ## This program is free software; you can redistribute it and/or modify
   7 ## it under the terms of the GNU General Public License as published by
   8 ## the Free Software Foundation; version 2 of the License.
   9 ##
  10 ## This program is distributed in the hope that it will be useful,
  11 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 ## GNU General Public License for more details.
  14 ##
  15 ## You should have received a copy of the GNU General Public License
  16 ## along with this program; if not, write to the Free Software
  17 ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
  18 ##
  19 if VENDOR_IEI
  20
  21 choice
  22         prompt "Mainboard model"
  23
  24 config BOARD_IEI_JUKI_511P
  25         bool "JUKI-511P"
  26 config BOARD_IEI_KINO_FAM10
  27         bool "Kino-780AM2(Fam10)"
  28 config BOARD_IEI_NOVA_4899R
  29         bool "NOVA-4899R"
  30 config BOARD_IEI_PCISA_LX_800_R10
  31         bool "PCISA LX-800-R10"
  32
  33 endchoice
  34
  35 source "src/mainboard/iei/juki-511p/Kconfig"
  36 source "src/mainboard/iei/kino-780am2-fam10/Kconfig"
  37 source "src/mainboard/iei/nova4899r/Kconfig"
  38 source "src/mainboard/iei/pcisa-lx-800-r10/Kconfig"
  39
  40 config MAINBOARD_VENDOR
  41         string
  42         default "IEI"
  43
  44 endif # VENDOR_IEI