| ## |
| ## This file is part of the coreboot project. |
| ## |
| ## Copyright (C) 2009 Uwe Hermann <uwe@hermann-uwe.de> |
| ## |
| ## This program is free software; you can redistribute it and/or modify |
| ## it under the terms of the GNU General Public License as published by |
| ## the Free Software Foundation; either version 2 of the License, or |
| ## (at your option) any later version. |
| ## |
| ## This program is distributed in the hope that it will be useful, |
| ## but WITHOUT ANY WARRANTY; without even the implied warranty of |
| ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| ## GNU General Public License for more details. |
| ## |
| ## You should have received a copy of the GNU General Public License |
| ## along with this program; if not, write to the Free Software |
| ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
| ## |
| |
| config BOARD_IEI_JUKI_511P |
| bool "JUKI-511P" |
| select ARCH_X86 |
| select CPU_AMD_GX1 |
| select NORTHBRIDGE_AMD_GX1 |
| select SOUTHBRIDGE_AMD_CS5530 |
| select SUPERIO_WINBOND_W83977F |
| select PIRQ_ROUTE |
| select HAVE_OPTION_TABLE |
| select UDELAY_TSC |
| select TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 |
| |
| config MAINBOARD_DIR |
| string |
| default iei/juki-511p |
| depends on BOARD_IEI_JUKI_511P |
| |
| config MAINBOARD_PART_NUMBER |
| string |
| default "JUKI-511P" |
| depends on BOARD_IEI_JUKI_511P |
| |
| config IRQ_SLOT_COUNT |
| int |
| default 2 |
| depends on BOARD_IEI_JUKI_511P |
| |