| ## |
| ## This file is part of the coreboot project. |
| ## |
| ## Copyright (C) 2010 Rudolf Marek <r.marek@assembler.cz> |
| ## |
| ## 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; version 2 of the License. |
| ## |
| ## 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 |
| ## |
| |
| source src/drivers/ati/Kconfig |
| source src/drivers/dec/Kconfig |
| source src/drivers/elog/Kconfig |
| source src/drivers/emulation/Kconfig |
| source src/drivers/generic/Kconfig |
| source src/drivers/i2c/Kconfig |
| source src/drivers/ics/Kconfig |
| source src/drivers/intel/Kconfig |
| source src/drivers/ipmi/Kconfig |
| source src/drivers/maxim/Kconfig |
| source src/drivers/parade/Kconfig |
| if PC80_SYSTEM |
| source src/drivers/pc80/Kconfig |
| endif |
| source src/drivers/realtek/Kconfig |
| source src/drivers/sil/Kconfig |
| source src/drivers/spi/Kconfig |
| source src/drivers/ti/Kconfig |
| source src/drivers/trident/Kconfig |
| source src/drivers/uart/Kconfig |
| source src/drivers/usb/Kconfig |
| source src/drivers/xpowers/Kconfig |