2 ## This file is part of the coreboot project.
4 ## Copyright (C) 2009 One Laptop per Child, Association, Inc.
6 ## This program is free software; you can redistribute it and/or modify
7 ## it under the terms of the GNU General Public License as published by
8 ## the Free Software Foundation; either version 2 of the License, or
9 ## (at your option) any later version.
11 ## This program is distributed in the hope that it will be useful,
12 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
13 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 ## GNU General Public License for more details.
16 ## You should have received a copy of the GNU General Public License
17 ## along with this program; if not, write to the Free Software
18 ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
24 uses USE_FALLBACK_IMAGE
25 uses HAVE_FALLBACK_BOOT
27 uses HAVE_OPTION_TABLE
29 uses CONFIG_ROM_PAYLOAD
33 uses MAINBOARD_PART_NUMBER
34 uses COREBOOT_EXTRA_VERSION
43 uses ROM_SECTION_OFFSET
44 uses CONFIG_ROM_PAYLOAD_START
45 uses CONFIG_COMPRESSED_PAYLOAD_NRV2B
46 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
58 uses DEFAULT_CONSOLE_LOGLEVEL
59 uses MAXIMUM_CONSOLE_LOGLEVEL
60 uses CONFIG_CONSOLE_SERIAL8250
61 uses CONFIG_UDELAY_TSC
62 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
63 uses CONFIG_PCI_ROM_RUN
64 uses CONFIG_CONSOLE_VGA
65 uses CONFIG_MAX_PCI_BUSES
82 uses PAYLOAD_IS_SEABIOS
83 uses VIACONFIG_TOP_SM_SIZE_MB
84 uses VIACONFIG_VGA_PCI_10
85 uses VIACONFIG_VGA_PCI_14
88 default USE_DCACHE_RAM = 1
89 default DCACHE_RAM_BASE = 0xffef0000
90 # default DCACHE_RAM_BASE = 0xffbf0000
91 # default DCACHE_RAM_BASE = 0xfec00000 # HPET may use this.
92 default DCACHE_RAM_SIZE = 8 * 1024
93 default CONFIG_USE_INIT = 0
94 default MAX_RAM_SLOTS = 2
95 default USB_ENABLE = 1
96 default EHCI_ENABLE = 1
97 default HPET_ENABLE = 1
98 default USB_PORTNUM = 2
99 default FULL_ROM_SIZE = 512 * 1024
100 default FULL_ROM_BASE = (0xffffffff - FULL_ROM_SIZE + 1)
101 default VIACONFIG_TOP_SM_SIZE_MB = 0
102 # default VIACONFIG_VGA_PCI_10 = 0xd0000008
103 # default VIACONFIG_VGA_PCI_14 = 0xfd000000
104 default VIACONFIG_VGA_PCI_10 = 0xf8000008
105 default VIACONFIG_VGA_PCI_14 = 0xfc000000
107 default ROM_SIZE = 512 * 1024
108 default CONFIG_IOAPIC = 1
110 # Define framebuffer size of VX800's integrated graphics card.
111 # Supports: 32, 64, 128, 256.
112 default CONFIG_VIDEO_MB = 64
114 default CONFIG_CONSOLE_SERIAL8250 = 1
115 default CONFIG_PCI_ROM_RUN = 0
116 default CONFIG_CONSOLE_VGA = 0
117 default HAVE_FALLBACK_BOOT = 1
118 default HAVE_MP_TABLE = 0
119 default CONFIG_UDELAY_TSC = 1
120 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1
121 default HAVE_HARD_RESET = 0
122 default HAVE_PIRQ_TABLE = 0
123 default IRQ_SLOT_COUNT = 10 # FIXME. irq_table.c says 14.
124 default HAVE_ACPI_TABLES = 1
125 default HAVE_OPTION_TABLE = 1
126 default ROM_IMAGE_SIZE = 128 * 1024
127 default FALLBACK_SIZE = ROM_SIZE
128 default USE_FALLBACK_IMAGE = 1
129 default STACK_SIZE = 16 * 1024
130 default HEAP_SIZE = 20 * 1024
131 # default USE_OPTION_TABLE = !USE_FALLBACK_IMAGE
132 default USE_OPTION_TABLE = 0
133 default _RAMBASE = 0x00004000
134 default CONFIG_ROM_PAYLOAD = 1
135 default CROSS_COMPILE = ""
136 default CC = "$(CROSS_COMPILE)gcc -m32"
137 default HOSTCC = "gcc"
138 default CONFIG_CBFS = 0
141 ## Set this to the max PCI bus number you would ever use for PCI config I/O.
142 ## Setting this number very high will make pci_locate_device() take a long
143 ## time when it can't find a device.
145 default CONFIG_MAX_PCI_BUSES = 3