Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / iei / juki-511p / 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 BOARD_IEI_JUKI_511P
20
21 config BOARD_SPECIFIC_OPTIONS # dummy
22         def_bool y
23         select ARCH_X86
24         select CPU_AMD_GX1
25         select NORTHBRIDGE_AMD_GX1
26         select SOUTHBRIDGE_AMD_CS5530
27         select SUPERIO_WINBOND_W83977F
28         select ROMCC
29         select PIRQ_ROUTE
30         select HAVE_PIRQ_TABLE
31         select HAVE_OPTION_TABLE
32         select BOARD_ROMSIZE_KB_256
33
34 config MAINBOARD_DIR
35         string
36         default iei/juki-511p
37
38 config MAINBOARD_PART_NUMBER
39         string
40         default "JUKI-511P"
41
42 config IRQ_SLOT_COUNT
43         int
44         default 2
45
46 endif # BOARD_IEI_JUKI_511P