| ## |
| ## This file is part of the coreboot project. |
| ## |
| ## Copyright (C) 2009 One Laptop per Child, Association, 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; 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 |
| ## |
| |
| uses CONFIG_HAVE_MP_TABLE |
| uses CONFIG_HAVE_PIRQ_TABLE |
| uses CONFIG_USE_FALLBACK_IMAGE |
| uses CONFIG_HAVE_FALLBACK_BOOT |
| uses CONFIG_HAVE_HARD_RESET |
| uses CONFIG_HAVE_OPTION_TABLE |
| uses CONFIG_USE_OPTION_TABLE |
| uses CONFIG_ROM_PAYLOAD |
| uses CONFIG_IRQ_SLOT_COUNT |
| uses CONFIG_MAINBOARD |
| uses CONFIG_MAINBOARD_VENDOR |
| uses CONFIG_MAINBOARD_PART_NUMBER |
| uses COREBOOT_EXTRA_VERSION |
| uses CONFIG_ARCH |
| uses CONFIG_FALLBACK_SIZE |
| uses CONFIG_STACK_SIZE |
| uses CONFIG_HEAP_SIZE |
| uses CONFIG_ROM_SIZE |
| uses CONFIG_ROM_SECTION_SIZE |
| uses CONFIG_ROM_IMAGE_SIZE |
| uses CONFIG_ROM_SECTION_SIZE |
| uses CONFIG_ROM_SECTION_OFFSET |
| uses CONFIG_COMPRESSED_PAYLOAD_NRV2B |
| uses CONFIG_COMPRESSED_PAYLOAD_LZMA |
| uses CONFIG_ROMBASE |
| uses CONFIG_RAMBASE |
| uses CONFIG_XIP_ROM_SIZE |
| uses CONFIG_XIP_ROM_BASE |
| uses CONFIG_HAVE_MP_TABLE |
| uses CONFIG_HAVE_ACPI_TABLES |
| uses CONFIG_CROSS_COMPILE |
| uses CC |
| uses HOSTCC |
| uses CONFIG_OBJCOPY |
| uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL |
| uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL |
| uses CONFIG_CONSOLE_SERIAL8250 |
| uses CONFIG_UDELAY_TSC |
| uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 |
| uses CONFIG_PCI_ROM_RUN |
| uses CONFIG_CONSOLE_VGA |
| uses CONFIG_MAX_PCI_BUSES |
| uses CONFIG_TTYS0_BAUD |
| uses CONFIG_VIDEO_MB |
| uses CONFIG_IOAPIC |
| |
| ## New options |
| uses CONFIG_USE_DCACHE_RAM |
| uses CONFIG_DCACHE_RAM_BASE |
| uses CONFIG_DCACHE_RAM_SIZE |
| uses CONFIG_USE_INIT |
| #uses MAX_RAM_SLOTS |
| #uses USB_ENABLE |
| #uses EHCI_ENABLE |
| #uses HPET_ENABLE |
| #uses USB_PORTNUM |
| #uses FULL_ROM_SIZE |
| #uses FULL_ROM_BASE |
| #uses PAYLOAD_IS_SEABIOS |
| #uses VIACONFIG_TOP_SM_SIZE_MB |
| #uses VIACONFIG_VGA_PCI_10 |
| #uses VIACONFIG_VGA_PCI_14 |
| |
| ## New options |
| default CONFIG_USE_DCACHE_RAM = 1 |
| default CONFIG_DCACHE_RAM_BASE = 0xffef0000 |
| # default CONFIG_DCACHE_RAM_BASE = 0xffbf0000 |
| # default CONFIG_DCACHE_RAM_BASE = 0xfec00000 # HPET may use this. |
| default CONFIG_DCACHE_RAM_SIZE = 8 * 1024 |
| default CONFIG_USE_INIT = 0 |
| #default MAX_RAM_SLOTS = 2 |
| #default USB_ENABLE = 1 |
| #default EHCI_ENABLE = 1 |
| #default HPET_ENABLE = 1 |
| #default USB_PORTNUM = 2 |
| #default FULL_ROM_SIZE = 512 * 1024 |
| #default FULL_ROM_BASE = (0xffffffff - FULL_ROM_SIZE + 1) |
| #default VIACONFIG_TOP_SM_SIZE_MB = 0 |
| # default VIACONFIG_VGA_PCI_10 = 0xd0000008 |
| # default VIACONFIG_VGA_PCI_14 = 0xfd000000 |
| #default VIACONFIG_VGA_PCI_10 = 0xf8000008 |
| #default VIACONFIG_VGA_PCI_14 = 0xfc000000 |
| |
| default CONFIG_ROM_SIZE = 512 * 1024 |
| default CONFIG_IOAPIC = 1 |
| |
| # Define framebuffer size of VX800's integrated graphics card. |
| # Supports: 32, 64, 128, 256. |
| default CONFIG_VIDEO_MB = 64 |
| |
| default CONFIG_CONSOLE_SERIAL8250 = 1 |
| default CONFIG_PCI_ROM_RUN = 0 |
| default CONFIG_CONSOLE_VGA = 0 |
| default CONFIG_HAVE_FALLBACK_BOOT = 1 |
| default CONFIG_HAVE_MP_TABLE = 0 |
| default CONFIG_UDELAY_TSC = 1 |
| default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1 |
| default CONFIG_HAVE_HARD_RESET = 0 |
| # TODO: There is an irq_tables.c file, should it be used? |
| default CONFIG_HAVE_PIRQ_TABLE = 0 |
| default CONFIG_IRQ_SLOT_COUNT = 13 |
| default CONFIG_HAVE_ACPI_TABLES = 1 |
| default CONFIG_HAVE_OPTION_TABLE = 1 |
| default CONFIG_ROM_IMAGE_SIZE = 128 * 1024 |
| default CONFIG_FALLBACK_SIZE = CONFIG_ROM_IMAGE_SIZE |
| default CONFIG_USE_FALLBACK_IMAGE = 1 |
| default CONFIG_STACK_SIZE = 16 * 1024 |
| default CONFIG_HEAP_SIZE = 20 * 1024 |
| # default CONFIG_USE_OPTION_TABLE = !CONFIG_USE_FALLBACK_IMAGE |
| default CONFIG_USE_OPTION_TABLE = 0 |
| default CONFIG_RAMBASE = 0x00004000 |
| default CONFIG_ROM_PAYLOAD = 1 |
| default CONFIG_CROSS_COMPILE = "" |
| default CC = "$(CONFIG_CROSS_COMPILE)gcc -m32" |
| default HOSTCC = "gcc" |
| default CONFIG_DEFAULT_CONSOLE_LOGLEVEL = 9 |
| default CONFIG_MAXIMUM_CONSOLE_LOGLEVEL = 9 |
| |
| ## |
| ## Set this to the max PCI bus number you would ever use for PCI config I/O. |
| ## Setting this number very high will make pci_locate_device() take a long |
| ## time when it can't find a device. |
| ## |
| default CONFIG_MAX_PCI_BUSES = 3 |
| |
| end |