src/mainboard/wyse/s50/Kconfig

   1 ##
   2 ## This file is part of the coreboot project.
   3 ##
   4 ## Copyright (C) 2010 Nils Jacobs
   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
  20 config BOARD_WYSE_S50
  21         bool "S50"
  22         select ARCH_X86
  23         select CPU_AMD_GX2
  24         select NORTHBRIDGE_AMD_GX2
  25         select SOUTHBRIDGE_AMD_CS5536
  26         select UDELAY_TSC
  27         select USE_DCACHE_RAM
  28         select USE_PRINTK_IN_CAR
  29         select HAVE_PIRQ_TABLE
  30         select PIRQ_ROUTE
  31         select BOARD_ROMSIZE_KB_256
  32
  33 config MAINBOARD_DIR
  34         string
  35         default wyse/s50
  36         depends on BOARD_WYSE_S50
  37
  38 config MAINBOARD_PART_NUMBER
  39         string
  40         default "s50"
  41         depends on BOARD_WYSE_S50
  42
  43 config IRQ_SLOT_COUNT
  44         int
  45         default 3
  46         depends on BOARD_WYSE_S50
  47
  48 config RAMBASE
  49         hex
  50         default 0x4000
  51         depends on BOARD_WYSE_S50