| # |
| # This file is part of the coreboot project. |
| # |
| # Copyright (C) 2007 Advanced Micro Devices, Inc. |
| # |
| # 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 |
| # |
| |
| uses CONFIG_HAVE_INIT_TIMER |
| uses CONFIG_HAVE_MOVNTI |
| uses CONFIG_CPU_ADDR_BITS |
| |
| default CONFIG_HAVE_INIT_TIMER=1 |
| default CONFIG_HAVE_MOVNTI=1 |
| default CONFIG_CPU_ADDR_BITS=48 |
| dir /cpu/x86/tsc |
| dir /cpu/x86/lapic |
| dir /cpu/x86/cache |
| dir /cpu/x86/pae |
| dir /cpu/x86/smm |
| dir /cpu/amd/mtrr |
| dir /cpu/amd/quadcore |
| dir /cpu/amd/microcode |
| driver model_10xxx_init.o |
| object update_microcode.o |
| object apic_timer.o |
| object processor_name.o |