2 ## This file is part of the coreboot project.
4 ## Copyright (C) 2007 Juergen Beisert <juergen@kreuzholzen.de>
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
23 uses USE_FALLBACK_IMAGE
24 uses HAVE_FALLBACK_BOOT
26 uses HAVE_OPTION_TABLE
28 uses CONFIG_ROM_PAYLOAD
32 uses MAINBOARD_PART_NUMBER
33 uses LINUXBIOS_EXTRA_VERSION
42 uses ROM_SECTION_OFFSET
43 uses CONFIG_ROM_PAYLOAD_START
53 uses DEFAULT_CONSOLE_LOGLEVEL
54 uses MAXIMUM_CONSOLE_LOGLEVEL
55 uses CONFIG_CONSOLE_SERIAL8250
59 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
60 uses CONFIG_UDELAY_TSC
61 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
63 uses CONFIG_SPLASH_GRAPHIC
65 uses CONFIG_GX1_VIDEOMODE
67 ## Enable VGA with a splash screen (only 640x480 to run on most monitors).
68 ## We want to support up to 1024x768@16 so we need 2MiB video memory.
69 ## Note: Higher resolutions might need faster SDRAM speed.
70 default CONFIG_GX1_VIDEO = 1
71 default CONFIG_GX1_VIDEOMODE = 0
72 default CONFIG_SPLASH_GRAPHIC = 1
73 default CONFIG_VIDEO_MB = 2
75 default ROM_SIZE = 256 * 1024
76 default MAINBOARD_VENDOR = "BCOM"
77 default MAINBOARD_PART_NUMBER = "WinNET100"
78 default HAVE_FALLBACK_BOOT = 1
79 default HAVE_MP_TABLE = 0
80 default HAVE_HARD_RESET = 0
81 default CONFIG_UDELAY_TSC = 1
82 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1
83 default HAVE_PIRQ_TABLE = 1
84 default IRQ_SLOT_COUNT = 2 # Soldered NIC, internal USB, no real slots
85 default HAVE_OPTION_TABLE = 0
86 default ROM_IMAGE_SIZE = 64 * 1024
87 default FALLBACK_SIZE = 128 * 1024
88 default STACK_SIZE = 8 * 1024
89 default HEAP_SIZE = 16 * 1024
90 default USE_OPTION_TABLE = 0
91 default _RAMBASE = 0x00004000
92 default CONFIG_ROM_PAYLOAD = 1
93 default CROSS_COMPILE = ""
94 default CC = "$(CROSS_COMPILE)gcc "
95 default HOSTCC = "gcc"
96 default CONFIG_CONSOLE_SERIAL8250 = 1
97 default TTYS0_BAUD = 115200
98 default TTYS0_BASE = 0x3f8
99 default TTYS0_LCS = 0x3 # 8n1
100 default DEFAULT_CONSOLE_LOGLEVEL = 6
101 default MAXIMUM_CONSOLE_LOGLEVEL = 6