2 ## This file is part of the coreboot project.
4 ## Copyright (C) 2008 VIA Technologies, Inc.
5 ## (Written by Aaron Lwe <aaron.lwe@gmail.com> for VIA)
7 ## This program is free software; you can redistribute it and/or modify
8 ## it under the terms of the GNU General Public License as published by
9 ## the Free Software Foundation; either version 2 of the License, or
10 ## (at your option) any later version.
12 ## This program is distributed in the hope that it will be useful,
13 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
14 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 ## GNU General Public License for more details.
17 ## You should have received a copy of the GNU General Public License
18 ## along with this program; if not, write to the Free Software
19 ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
25 uses USE_FALLBACK_IMAGE
26 uses HAVE_FALLBACK_BOOT
28 uses HAVE_OPTION_TABLE
30 uses CONFIG_ROM_PAYLOAD
34 uses MAINBOARD_PART_NUMBER
35 uses COREBOOT_EXTRA_VERSION
44 uses ROM_SECTION_OFFSET
45 uses CONFIG_ROM_PAYLOAD_START
46 uses CONFIG_COMPRESSED_PAYLOAD_NRV2B
47 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
60 uses DEFAULT_CONSOLE_LOGLEVEL
61 uses MAXIMUM_CONSOLE_LOGLEVEL
62 uses CONFIG_CONSOLE_SERIAL8250
63 uses CONFIG_UDELAY_TSC
64 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
65 uses CONFIG_PCI_ROM_RUN
66 uses CONFIG_CONSOLE_VGA
67 uses CONFIG_MAX_PCI_BUSES
72 default ROM_SIZE = 512 * 1024
73 default CONFIG_IOAPIC = 0
74 default CONFIG_VIDEO_MB = 32
75 default CONFIG_CONSOLE_SERIAL8250 = 1
76 default CONFIG_PCI_ROM_RUN = 0
77 default CONFIG_CONSOLE_VGA = 0
78 default HAVE_FALLBACK_BOOT = 1
79 default HAVE_MP_TABLE = 0
80 default CONFIG_UDELAY_TSC = 1
81 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1
82 default HAVE_HARD_RESET = 0
83 default HAVE_PIRQ_TABLE = 1
84 default IRQ_SLOT_COUNT = 9
85 default HAVE_ACPI_TABLES = 0
86 default HAVE_OPTION_TABLE = 1
87 default ROM_IMAGE_SIZE = 64 * 1024
88 default FALLBACK_SIZE = ROM_SIZE
89 default USE_FALLBACK_IMAGE = 1
90 default STACK_SIZE = 8 * 1024
91 default HEAP_SIZE = 16 * 1024
92 #default USE_OPTION_TABLE = !USE_FALLBACK_IMAGE
93 default USE_OPTION_TABLE = 0
94 default _RAMBASE = 0x00004000
95 default CONFIG_ROM_PAYLOAD = 1
96 default CROSS_COMPILE = ""
97 default CC = "$(CROSS_COMPILE)gcc -m32 -fno-stack-protector"
98 default HOSTCC = "gcc"
101 ## Set this to the max PCI bus number you would ever use for PCI config I/O.
102 ## Setting this number very high will make pci_locate_device() take a long
103 ## time when it can't find a device.
105 default CONFIG_MAX_PCI_BUSES = 3
112 default CONFIG_CBFS=0