## ## 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; 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. ## if VENDOR_IEI choice prompt "Mainboard model" source "src/mainboard/iei/*/Kconfig.name" endchoice source "src/mainboard/iei/*/Kconfig" config MAINBOARD_VENDOR string default "IEI" endif # VENDOR_IEI