diff options
Diffstat (limited to 'src/mainboard/amd/bimini_fam10')
| -rw-r--r-- | src/mainboard/amd/bimini_fam10/acpi_tables.c | 1 | ||||
| -rw-r--r-- | src/mainboard/amd/bimini_fam10/get_bus_conf.c | 1 | ||||
| -rw-r--r-- | src/mainboard/amd/bimini_fam10/mptable.c | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/src/mainboard/amd/bimini_fam10/acpi_tables.c b/src/mainboard/amd/bimini_fam10/acpi_tables.c index cdefb92f11..ca18f06bc1 100644 --- a/src/mainboard/amd/bimini_fam10/acpi_tables.c +++ b/src/mainboard/amd/bimini_fam10/acpi_tables.c @@ -13,7 +13,6 @@ * GNU General Public License for more details. */ -#include <console/console.h> #include <string.h> #include <arch/acpi.h> #include <arch/ioapic.h> diff --git a/src/mainboard/amd/bimini_fam10/get_bus_conf.c b/src/mainboard/amd/bimini_fam10/get_bus_conf.c index c5cfa8ce61..d38d37cda4 100644 --- a/src/mainboard/amd/bimini_fam10/get_bus_conf.c +++ b/src/mainboard/amd/bimini_fam10/get_bus_conf.c @@ -13,7 +13,6 @@ * GNU General Public License for more details. */ -#include <console/console.h> #include <device/pci.h> #include <device/pci_ids.h> #include <string.h> diff --git a/src/mainboard/amd/bimini_fam10/mptable.c b/src/mainboard/amd/bimini_fam10/mptable.c index 215a713290..3d362eb6d6 100644 --- a/src/mainboard/amd/bimini_fam10/mptable.c +++ b/src/mainboard/amd/bimini_fam10/mptable.c @@ -13,7 +13,6 @@ * GNU General Public License for more details. */ -#include <console/console.h> #include <arch/smp/mpspec.h> #include <device/pci.h> #include <arch/io.h> |