2 ## This file is part of the coreboot project.
4 ## Copyright (C) 2008 Joseph Smith <joe@smittys.pointclark.net>
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
22 uses CONFIG_CONSOLE_SERIAL8250
23 uses CONFIG_CONSOLE_VGA
24 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
26 uses CONFIG_PCI_ROM_RUN
27 uses CONFIG_ROM_PAYLOAD
28 uses CONFIG_ROM_PAYLOAD_START
29 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
30 uses CONFIG_UDELAY_TSC
33 uses DEFAULT_CONSOLE_LOGLEVEL
36 uses HAVE_FALLBACK_BOOT
38 uses HAVE_OPTION_TABLE
43 uses COREBOOT_EXTRA_VERSION
46 uses MAINBOARD_PART_NUMBER
47 uses MAXIMUM_CONSOLE_LOGLEVEL
54 uses ROM_SECTION_OFFSET
60 uses USE_FALLBACK_IMAGE
65 default ROM_SIZE = 512 * 1024
66 default ROM_IMAGE_SIZE = 128 * 1024
67 default HAVE_FALLBACK_BOOT = 1
68 default FALLBACK_SIZE = 512 * 1024
69 default CONFIG_UDELAY_TSC = 1
70 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1
71 default HAVE_PIRQ_TABLE = 1
72 default IRQ_SLOT_COUNT = 10
73 default HAVE_MP_TABLE = 0
74 default HAVE_ACPI_TABLES = 0
75 default CONFIG_IOAPIC = 0
76 default HAVE_OPTION_TABLE = 0
77 default CONFIG_CONSOLE_VGA = 0
78 default CONFIG_PCI_ROM_RUN = 0
79 default CONFIG_VIDEO_MB = 0
80 default STACK_SIZE = 0x2000
81 default HEAP_SIZE = 0x4000
82 default _RAMBASE = 0x00004000
83 default USE_OPTION_TABLE = 0
84 default CONFIG_ROM_PAYLOAD = 1
85 default CC="$(CROSS_COMPILE)gcc -m32"
87 default CONFIG_CONSOLE_SERIAL8250 = 1
88 default TTYS0_BAUD = 115200
89 default TTYS0_BASE = 0x3f8
90 default TTYS0_LCS = 0x3 # 8n1
91 default DEFAULT_CONSOLE_LOGLEVEL = 9
92 default MAXIMUM_CONSOLE_LOGLEVEL = 9
93 default MAINBOARD_VENDOR = "RCA"
94 default MAINBOARD_PART_NUMBER = "RM4100"