Subversion Repositories HelenOS

Rev

Rev 4669 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4669 Rev 4673
1 
#
 1 
#
2 
# Copyright (c) 2006 Ondrej Palkovsky
 2 
# Copyright (c) 2006 Ondrej Palkovsky
3 
# Copyright (c) 2009 Martin Decky
 3 
# Copyright (c) 2009 Martin Decky
4 
# All rights reserved.
 4 
# All rights reserved.
5 
#
 5 
#
6 
# Redistribution and use in source and binary forms, with or without
 6 
# Redistribution and use in source and binary forms, with or without
7 
# modification, are permitted provided that the following conditions
 7 
# modification, are permitted provided that the following conditions
8 
# are met:
 8 
# are met:
9 
#
 9 
#
10 
# - Redistributions of source code must retain the above copyright
 10 
# - Redistributions of source code must retain the above copyright
11 
#   notice, this list of conditions and the following disclaimer.
 11 
#   notice, this list of conditions and the following disclaimer.
12 
# - Redistributions in binary form must reproduce the above copyright
 12 
# - Redistributions in binary form must reproduce the above copyright
13 
#   notice, this list of conditions and the following disclaimer in the
 13 
#   notice, this list of conditions and the following disclaimer in the
14 
#   documentation and/or other materials provided with the distribution.
 14 
#   documentation and/or other materials provided with the distribution.
15 
# - The name of the author may not be used to endorse or promote products
 15 
# - The name of the author may not be used to endorse or promote products
16 
#   derived from this software without specific prior written permission.
 16 
#   derived from this software without specific prior written permission.
17 
#
 17 
#
18 
# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 18 
# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19 
# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 19 
# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20 
# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 20 
# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21 
# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 21 
# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22 
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 22 
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23 
# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 23 
# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 24 
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 25 
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 26 
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27 
# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 27 
# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 
#
 28 
#
29 
 
 29 
 
30 
## General platform options
 30 
## General platform options
31 
 
 31 
 
32 
% Platform
 32 
% Platform
33 
@ "amd64" AMD64/Intel EM64T (PC)
 33 
@ "amd64" AMD64/Intel EM64T (PC)
34 
@ "arm32" ARM 32-bit
 34 
@ "arm32" ARM 32-bit
35 
@ "ia32" Intel IA-32 (PC)
 35 
@ "ia32" Intel IA-32 (PC)
36 
@ "ia64" Intel IA-64
 36 
@ "ia64" Intel IA-64
37 
@ "mips32" MIPS 32-bit
 37 
@ "mips32" MIPS 32-bit
38 
@ "ppc32" PowerPC 32-bit (iMac G4)
 38 
@ "ppc32" PowerPC 32-bit (iMac G4)
39 
@ "sparc64" Sun UltraSPARC 64-bit
 39 
@ "sparc64" Sun UltraSPARC 64-bit
40 
! PLATFORM (choice)
 40 
! PLATFORM (choice)
41 
 
 41 
 
42 
% Machine type
 42 
% Machine type
43 
@ "msim" MSIM
 43 
@ "msim" MSIM
44 
@ "bgxemul" GXEmul big endian
 44 
@ "bgxemul" GXEmul big endian
45 
@ "lgxemul" GXEmul little endian
 45 
@ "lgxemul" GXEmul little endian
46 
! [PLATFORM=mips32] MACHINE (choice)
 46 
! [PLATFORM=mips32] MACHINE (choice)
47 
 
 47 
 
48 
% Machine type
 48 
% Machine type
49 
@ "i460GX" i460GX chipset machine
 49 
@ "i460GX" i460GX chipset machine
50 
@ "ski" Ski ia64 simulator
 50 
@ "ski" Ski ia64 simulator
51 
! [PLATFORM=ia64] MACHINE (choice)
 51 
! [PLATFORM=ia64] MACHINE (choice)
52 
 
 52 
 
53 
% Machine type
 53 
% Machine type
54 
@ "generic" Generic Sun workstation or server
 54 
@ "generic" Generic Sun workstation or server
55 
@ "serengeti" Serengeti system
 55 
@ "serengeti" Serengeti system
56 
! [PLATFORM=sparc64] MACHINE (choice)
 56 
! [PLATFORM=sparc64] MACHINE (choice)
57 
 
 57 
 
58 
% Machine type
 58 
% Machine type
59 
@ "testarm" Gxemul Testarm
 59 
@ "testarm" Gxemul Testarm
60 
@ "integratorcp"	Integratorcp
 60 
@ "integratorcp" Integratorcp
61 
! [PLATFORM=arm32] MACHINE (choice)
 61 
! [PLATFORM=arm32] MACHINE (choice)
62 
 
 62 
 
63 
% CPU type
 63 
% CPU type
64 
@ "pentium4" Pentium 4
 64 
@ "pentium4" Pentium 4
65 
@ "pentium3" Pentium 3
 65 
@ "pentium3" Pentium 3
66 
@ "core" Core Solo/Duo
 66 
@ "core" Core Solo/Duo
67 
@ "athlon_xp" Athlon XP
 67 
@ "athlon_xp" Athlon XP
68 
@ "athlon_mp" Athlon MP
 68 
@ "athlon_mp" Athlon MP
69 
! [PLATFORM=ia32] PROCESSOR (choice)
 69 
! [PLATFORM=ia32] PROCESSOR (choice)
70 
 
 70 
 
71 
% CPU type
 71 
% CPU type
72 
@ "opteron" Opteron
 72 
@ "opteron" Opteron
73 
! [PLATFORM=amd64] PROCESSOR (choice)
 73 
! [PLATFORM=amd64] PROCESSOR (choice)
74 
 
 74 
 
75 
% CPU type
 75 
% CPU type
76 
@ "us" UltraSPARC I-II subarchitecture
 76 
@ "us" UltraSPARC I-II subarchitecture
77 
@ "us3" UltraSPARC III-IV subarchitecture
 77 
@ "us3" UltraSPARC III-IV subarchitecture
78 
! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
 78 
! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
79 
 
 79 
 
80 
% CPU type
 80 
% CPU type
81 
@ "us3"
 81 
@ "us3"
82 
! [PLATFORM=sparc64&MACHINE=serengeti] PROCESSOR (choice)
 82 
! [PLATFORM=sparc64&MACHINE=serengeti] PROCESSOR (choice)
83 
 
 83 
 
84 
% Ramdisk format
 84 
% Ramdisk format
85 
@ "tmpfs" TMPFS image
 85 
@ "tmpfs" TMPFS image
86 
@ "fat" FAT16 image
 86 
@ "fat" FAT16 image
87 
! RDFMT (choice)
 87 
! RDFMT (choice)
88 
 
 88 
 
89 
 
 89 
 
90 
## Mapping between platform and kernel architecture
 90 
## Mapping between platform and kernel architecture
91 
 
 91 
 
92 
% Kernel architecture
 92 
% Kernel architecture
93 
@ "amd64"
 93 
@ "amd64"
94 
! [PLATFORM=amd64] KARCH (choice)
 94 
! [PLATFORM=amd64] KARCH (choice)
95 
 
 95 
 
96 
% Kernel architecture
 96 
% Kernel architecture
97 
@ "arm32"
 97 
@ "arm32"
98 
! [PLATFORM=arm32] KARCH (choice)
 98 
! [PLATFORM=arm32] KARCH (choice)
99 
 
 99 
 
100 
% Kernel architecture
 100 
% Kernel architecture
101 
@ "ia32"
 101 
@ "ia32"
102 
! [PLATFORM=ia32] KARCH (choice)
 102 
! [PLATFORM=ia32] KARCH (choice)
103 
 
 103 
 
104 
% Kernel architecture
 104 
% Kernel architecture
105 
@ "ia32xen"
 105 
@ "ia32xen"
106 
! [PLATFORM=ia32xen] KARCH (choice)
 106 
! [PLATFORM=ia32xen] KARCH (choice)
107 
 
 107 
 
108 
% Kernel architecture
 108 
% Kernel architecture
109 
@ "ia64"
 109 
@ "ia64"
110 
! [PLATFORM=ia64] KARCH (choice)
 110 
! [PLATFORM=ia64] KARCH (choice)
111 
 
 111 
 
112 
% Kernel architecture
 112 
% Kernel architecture
113 
@ "mips32"
 113 
@ "mips32"
114 
! [PLATFORM=mips32] KARCH (choice)
 114 
! [PLATFORM=mips32] KARCH (choice)
115 
 
 115 
 
116 
% Kernel architecture
 116 
% Kernel architecture
117 
@ "ppc32"
 117 
@ "ppc32"
118 
! [PLATFORM=ppc32] KARCH (choice)
 118 
! [PLATFORM=ppc32] KARCH (choice)
119 
 
 119 
 
120 
% Kernel architecture
 120 
% Kernel architecture
121 
@ "ppc64"
 121 
@ "ppc64"
122 
! [PLATFORM=ppc64] KARCH (choice)
 122 
! [PLATFORM=ppc64] KARCH (choice)
123 
 
 123 
 
124 
% Kernel architecture
 124 
% Kernel architecture
125 
@ "sparc64"
 125 
@ "sparc64"
126 
! [PLATFORM=sparc64] KARCH (choice)
 126 
! [PLATFORM=sparc64] KARCH (choice)
127 
 
 127 
 
128 
 
 128 
 
129 
## Mapping between platform and user space architecture
 129 
## Mapping between platform and user space architecture
130 
 
 130 
 
131 
% User space architecture
 131 
% User space architecture
132 
@ "amd64"
 132 
@ "amd64"
133 
! [PLATFORM=amd64] UARCH (choice)
 133 
! [PLATFORM=amd64] UARCH (choice)
134 
 
 134 
 
135 
% User space architecture
 135 
% User space architecture
136 
@ "arm32"
 136 
@ "arm32"
137 
! [PLATFORM=arm32] UARCH (choice)
 137 
! [PLATFORM=arm32] UARCH (choice)
138 
 
 138 
 
139 
% User space architecture
 139 
% User space architecture
140 
@ "ia32"
 140 
@ "ia32"
141 
! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice)
 141 
! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice)
142 
 
 142 
 
143 
% User space architecture
 143 
% User space architecture
144 
@ "ia64"
 144 
@ "ia64"
145 
! [PLATFORM=ia64] UARCH (choice)
 145 
! [PLATFORM=ia64] UARCH (choice)
146 
 
 146 
 
147 
% User space architecture
 147 
% User space architecture
148 
@ "mips32"
 148 
@ "mips32"
149 
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lgxemul)] UARCH (choice)
 149 
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lgxemul)] UARCH (choice)
150 
 
 150 
 
151 
% User space architecture
 151 
% User space architecture
152 
@ "mips32eb"
 152 
@ "mips32eb"
153 
! [PLATFORM=mips32&MACHINE=bgxemul] UARCH (choice)
 153 
! [PLATFORM=mips32&MACHINE=bgxemul] UARCH (choice)
154 
 
 154 
 
155 
% User space architecture
 155 
% User space architecture
156 
@ "ppc32"
 156 
@ "ppc32"
157 
! [PLATFORM=ppc32] UARCH (choice)
 157 
! [PLATFORM=ppc32] UARCH (choice)
158 
 
 158 
 
159 
% User space architecture
 159 
% User space architecture
160 
@ "ppc64"
 160 
@ "ppc64"
161 
! [PLATFORM=ppc64] UARCH (choice)
 161 
! [PLATFORM=ppc64] UARCH (choice)
162 
 
 162 
 
163 
% User space architecture
 163 
% User space architecture
164 
@ "sparc64"
 164 
@ "sparc64"
165 
! [PLATFORM=sparc64] UARCH (choice)
 165 
! [PLATFORM=sparc64] UARCH (choice)
166 
 
 166 
 
167 
 
 167 
 
168 
## Mapping between platform and boot architecture
 168 
## Mapping between platform and boot architecture
169 
 
 169 
 
170 
% Boot architecture
 170 
% Boot architecture
171 
@ "amd64"
 171 
@ "amd64"
172 
! [PLATFORM=amd64] BARCH (choice)
 172 
! [PLATFORM=amd64] BARCH (choice)
173 
 
 173 
 
174 
% Boot architecture
 174 
% Boot architecture
175 
@ "arm32"
 175 
@ "arm32"
176 
! [PLATFORM=arm32] BARCH (choice)
 176 
! [PLATFORM=arm32] BARCH (choice)
177 
 
 177 
 
178 
% Boot architecture
 178 
% Boot architecture
179 
@ "ia32"
 179 
@ "ia32"
180 
! [PLATFORM=ia32] BARCH (choice)
 180 
! [PLATFORM=ia32] BARCH (choice)
181 
 
 181 
 
182 
% Boot architecture
 182 
% Boot architecture
183 
@ "ia32xen"
 183 
@ "ia32xen"
184 
! [PLATFORM=ia32xen] BARCH (choice)
 184 
! [PLATFORM=ia32xen] BARCH (choice)
185 
 
 185 
 
186 
% Boot architecture
 186 
% Boot architecture
187 
@ "ia64"
 187 
@ "ia64"
188 
! [PLATFORM=ia64] BARCH (choice)
 188 
! [PLATFORM=ia64] BARCH (choice)
189 
 
 189 
 
190 
% Boot architecture
 190 
% Boot architecture
191 
@ "mips32"
 191 
@ "mips32"
192 
! [PLATFORM=mips32] BARCH (choice)
 192 
! [PLATFORM=mips32] BARCH (choice)
193 
 
 193 
 
194 
% Boot architecture
 194 
% Boot architecture
195 
@ "ppc32"
 195 
@ "ppc32"
196 
! [PLATFORM=ppc32] BARCH (choice)
 196 
! [PLATFORM=ppc32] BARCH (choice)
197 
 
 197 
 
198 
% Boot architecture
 198 
% Boot architecture
199 
@ "ppc64"
 199 
@ "ppc64"
200 
! [PLATFORM=ppc64] BARCH (choice)
 200 
! [PLATFORM=ppc64] BARCH (choice)
201 
 
 201 
 
202 
% Boot architecture
 202 
% Boot architecture
203 
@ "sparc64"
 203 
@ "sparc64"
204 
! [PLATFORM=sparc64] BARCH (choice)
 204 
! [PLATFORM=sparc64] BARCH (choice)
205 
 
 205 
 
206 
 
 206 
 
207 
## Mapping between platform and image format
 207 
## Mapping between platform and image format
208 
 
 208 
 
209 
% Image format
 209 
% Image format
210 
@ "binary"
 210 
@ "binary"
211 
! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
 211 
! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
212 
 
 212 
 
213 
% Image format
 213 
% Image format
214 
@ "ecoff"
 214 
@ "ecoff"
215 
! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice)
 215 
! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice)
216 
 
 216 
 
217 
 
 217 
 
218 
## Compiler options
 218 
## Compiler options
219 
 
 219 
 
220 
% Compiler
 220 
% Compiler
221 
@ "gcc_cross" GCC Cross-compiler
 221 
@ "gcc_cross" GCC Cross-compiler
222 
@ "gcc_native" GCC Native
 222 
@ "gcc_native" GCC Native
223 
@ "icc_native" ICC Native
 223 
@ "icc_native" ICC Native
224 
@ "suncc_native" Sun Studio C Compiler
 224 
@ "suncc_native" Sun Studio C Compiler
225 
! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice)
 225 
! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice)
226 
 
 226 
 
227 
% Compiler
 227 
% Compiler
228 
@ "gcc_cross" GCC Cross-compiler
 228 
@ "gcc_cross" GCC Cross-compiler
229 
@ "gcc_native" GCC Native
 229 
@ "gcc_native" GCC Native
230 
@ "icc_native" ICC Native
 230 
@ "icc_native" ICC Native
231 
! [PLATFORM=ia64] COMPILER (choice)
 231 
! [PLATFORM=ia64] COMPILER (choice)
232 
 
 232 
 
233 
% Compiler
 233 
% Compiler
234 
@ "gcc_cross" GCC Cross-compiler
 234 
@ "gcc_cross" GCC Cross-compiler
235 
@ "gcc_native" GCC Native
 235 
@ "gcc_native" GCC Native
236 
@ "suncc_native" Sun Studio C Compiler
 236 
@ "suncc_native" Sun Studio C Compiler
237 
! [PLATFORM=sparc64] COMPILER (choice)
 237 
! [PLATFORM=sparc64] COMPILER (choice)
238 
 
 238 
 
239 
% Compiler
 239 
% Compiler
240 
@ "gcc_cross" GCC Cross-compiler
 240 
@ "gcc_cross" GCC Cross-compiler
241 
@ "gcc_native" GCC Native
 241 
@ "gcc_native" GCC Native
242 
! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
 242 
! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
243 
 
 243 
 
244 
 
 244 
 
245 
## Kernel configuration
 245 
## Kernel configuration
246 
 
 246 
 
247 
% Fences
 247 
% Fences
248 
! [PLATFORM=ia32&(PROCESSOR=athlon_xp|PROCESSOR=athlon_mp|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
 248 
! [PLATFORM=ia32&(PROCESSOR=athlon_xp|PROCESSOR=athlon_mp|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
249 
 
 249 
 
250 
% Fences
 250 
% Fences
251 
! [PLATFORM=ia32&(PROCESSOR=pentium4|PROCESSOR=core)] CONFIG_FENCES_P4 (y)
 251 
! [PLATFORM=ia32&(PROCESSOR=pentium4|PROCESSOR=core)] CONFIG_FENCES_P4 (y)
252 
 
 252 
 
253 
% Fences
 253 
% Fences
254 
! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
 254 
! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
255 
 
 255 
 
256 
% ACPI support
 256 
% ACPI support
257 
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
 257 
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
258 
 
 258 
 
259 
% Hierarchical page tables support
 259 
% Hierarchical page tables support
260 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
 260 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
261 
 
 261 
 
262 
% Page hash table support
 262 
% Page hash table support
263 
! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
 263 
! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
264 
 
 264 
 
265 
% Software integer division support
 265 
% Software integer division support
266 
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
 266 
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
267 
 
 267 
 
268 
% ASID support
 268 
% ASID support
269 
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
 269 
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
270 
 
 270 
 
271 
% ASID FIFO support
 271 
% ASID FIFO support
272 
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
 272 
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
273 
 
 273 
 
274 
% OpenFirmware tree support
 274 
% OpenFirmware tree support
275 
! [PLATFORM=sparc64] CONFIG_OFW_TREE (y)
 275 
! [PLATFORM=sparc64] CONFIG_OFW_TREE (y)
276 
 
 276 
 
277 
% Multiboot standard support
 277 
% Multiboot standard support
278 
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_MULTIBOOT (y)
 278 
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_MULTIBOOT (y)
279 
 
 279 
 
280 
% FPU support
 280 
% FPU support
281 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y)
 281 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y)
282 
 
 282 
 
283 
% FPU support
 283 
% FPU support
284 
! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
 284 
! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
285 
 
 285 
 
286 
 
 286 
 
287 
## Kernel features options
 287 
## Kernel features options
288 
 
 288 
 
289 
% Support for SMP
 289 
% Support for SMP
290 
! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
 290 
! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
291 
 
 291 
 
292 
% Debug build
 292 
% Debug build
293 
! CONFIG_DEBUG (y/n)
 293 
! CONFIG_DEBUG (y/n)
294 
 
 294 
 
295 
% Deadlock detection support for spinlocks
 295 
% Deadlock detection support for spinlocks
296 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
 296 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
297 
 
 297 
 
298 
% Lazy FPU context switching
 298 
% Lazy FPU context switching
299 
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
 299 
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
300 
 
 300 
 
301 
% Use VHPT
 301 
% Use VHPT
302 
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
 302 
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
303 
 
 303 
 
304 
% Use TSB
 304 
% Use TSB
305 
! [PLATFORM=sparc64] CONFIG_TSB (y/n)
 305 
! [PLATFORM=sparc64] CONFIG_TSB (y/n)
306 
 
 306 
 
307 
% IO SAPIC on default address support
 307 
% IO SAPIC on default address support
308 
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
 308 
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
309 
 
 309 
 
310 
% Virtually indexed D-cache support
 310 
% Virtually indexed D-cache support
311 
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
 311 
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
312 
 
 312 
 
313 
% Support for userspace debuggers
 313 
% Support for userspace debuggers
314 
! CONFIG_UDEBUG (y/n)
 314 
! CONFIG_UDEBUG (y/n)
315 
 
 315 
 
316 
% Kernel console support
 316 
% Kernel console support
317 
! CONFIG_KCONSOLE (y/n)
 317 
! CONFIG_KCONSOLE (y/n)
318 
 
 318 
 
319 
% Kernel symbol information
 319 
% Kernel symbol information
320 
! CONFIG_SYMTAB (y/n)
 320 
! CONFIG_SYMTAB (y/n)
321 
 
 321 
 
322 
% Detailed kernel logging
 322 
% Detailed kernel logging
323 
! CONFIG_LOG (n/y)
 323 
! CONFIG_LOG (n/y)
324 
 
 324 
 
325 
% Compile kernel tests
 325 
% Compile kernel tests
326 
! CONFIG_TEST (y/n)
 326 
! CONFIG_TEST (y/n)
327 
 
 327 
 
328 
 
 328 
 
329 
## Hardware support
 329 
## Hardware support
330 
 
 330 
 
331 
% Input device class
 331 
% Input device class
332 
@ "generic" Keyboard or serial line
 332 
@ "generic" Keyboard or serial line
333 
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_IN (choice)
 333 
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_IN (choice)
334 
 
 334 
 
335 
% Input device class
 335 
% Input device class
336 
@ "generic" Keyboard or serial line
 336 
@ "generic" Keyboard or serial line
337 
@ "none" No input device
 337 
@ "none" No input device
338 
! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
 338 
! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
339 
 
 339 
 
340 
% Input device class
 340 
% Input device class
341 
@ "generic" Keyboard or serial line
 341 
@ "generic" Keyboard or serial line
342 
@ "keyboard" Keyboard
 342 
@ "keyboard" Keyboard
343 
@ "serial" Serial line
 343 
@ "serial" Serial line
344 
@ "none" No input device
 344 
@ "none" No input device
345 
! [PLATFORM=ia64&MACHINE=i460GX] CONFIG_HID_IN (choice)
 345 
! [PLATFORM=ia64&MACHINE=i460GX] CONFIG_HID_IN (choice)
346 
 
 346 
 
347 
% Output device class
 347 
% Output device class
348 
@ "generic" Monitor or serial line
 348 
@ "generic" Monitor or serial line
349 
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_OUT (choice)
 349 
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_OUT (choice)
350 
 
 350 
 
351 
% Output device class
 351 
% Output device class
352 
@ "generic" Monitor or serial line
 352 
@ "generic" Monitor or serial line
353 
@ "none" No output device
 353 
@ "none" No output device
354 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
 354 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
355 
 
 355 
 
356 
% Output device class
 356 
% Output device class
357 
@ "generic" Monitor or serial line
 357 
@ "generic" Monitor or serial line
358 
@ "monitor" Monitor
 358 
@ "monitor" Monitor
359 
@ "serial" Serial line
 359 
@ "serial" Serial line
360 
@ "none" No output device
 360 
@ "none" No output device
361 
! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] CONFIG_HID_OUT (choice)
 361 
! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] CONFIG_HID_OUT (choice)
362 
 
 362 
 
363 
% Output device class
 363 
% Output device class
364 
@ "generic" Monitor or serial line
 364 
@ "generic" Monitor or serial line
365 
@ "monitor" Monitor
 365 
@ "monitor" Monitor
366 
@ "serial" Serial line
 366 
@ "serial" Serial line
367 
@ "none" No output device
 367 
@ "none" No output device
368 
! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)
 368 
! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)
369 
 
 369 
 
370 
% PC keyboard support
 370 
% PC keyboard support
371 
! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
 371 
! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
372 
 
 372 
 
373 
% PC keyboard support
 373 
% PC keyboard support
374 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
 374 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
375 
 
 375 
 
376 
% Support for msim/GXemul keyboard
 376 
% Support for msim/GXemul keyboard
377 
! [CONFIG_HID_IN=generic&PLATFORM=mips32] CONFIG_MIPS_KBD (y/n)
 377 
! [CONFIG_HID_IN=generic&PLATFORM=mips32] CONFIG_MIPS_KBD (y/n)
378 
 
 378 
 
379 
% Support for msim/GXemul printer
 379 
% Support for msim/GXemul printer
380 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=mips32] CONFIG_MIPS_PRN (y/n)
 380 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=mips32] CONFIG_MIPS_PRN (y/n)
381 
 
 381 
 
382 
% Support for GXemul keyboard
 382 
% Support for GXemul keyboard
383 
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)
 383 
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)
384 
 
 384 
 
385 
% Support for GXemul printer
 385 
% Support for GXemul printer
386 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)
 386 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)
387 
 
 387 
 
388 
% Support for VIA CUDA controller
 388 
% Support for VIA CUDA controller
389 
! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
 389 
! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
390 
 
 390 
 
391 
% Support for NS16550 controller
 391 
% Support for NS16550 controller
392 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_NS16550 (y/n)
 392 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_NS16550 (y/n)
393 
 
 393 
 
394 
% Support for NS16550 controller
 394 
% Support for NS16550 controller
395 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)
 395 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)
396 
 
 396 
 
397 
% Support for Z8530 controller
 397 
% Support for Z8530 controller
398 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_Z8530 (y/n)
 398 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_Z8530 (y/n)
399 
 
 399 
 
400 
% Support for Serengeti console
 400 
% Support for Serengeti console
401 
! [CONFIG_HID_OUT=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_PRN (y/n)
 401 
! [CONFIG_HID_OUT=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_PRN (y/n)
402 
 
 402 
 
403 
% Support for Serengeti keyboard
 403 
% Support for Serengeti keyboard
404 
! [CONFIG_HID_IN=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_KBD (y/n)
 404 
! [CONFIG_HID_IN=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_KBD (y/n)
405 
 
 405 
 
406 
% i8042 controller support
 406 
% Support for i8042 controller
407 
! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
 407 
! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
408 
 
 408 
 
409 
% pl050 controller support
 409 
% Support for pl050 controller
410 
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PL050 (y)
 410 
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PL050 (y)
411 
 
 411 
 
412 
% Sun keyboard support
 412 
% Sun keyboard support
413 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
 413 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
414 
 
 414 
 
415 
% Macintosh ADB keyboard support
 415 
% Macintosh ADB keyboard support
416 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y)
 416 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y)
417 
 
 417 
 
418 
% Dummy serial line input
 418 
% Dummy serial line input
419 
! [CONFIG_MIPS_KBD=y|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
 419 
! [CONFIG_MIPS_KBD=y|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
420 
 
 420 
 
421 
% Dummy serial line output
 421 
% Dummy serial line output
422 
! [CONFIG_MIPS_PRN=y|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
 422 
! [CONFIG_MIPS_PRN=y|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
423 
 
 423 
 
424 
% Serial line input module
 424 
% Serial line input module
425 
! [CONFIG_DSRLNIN=y|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&MACHINE=serengeti&CONFIG_SGCN_KBD=y)] CONFIG_SRLN (y)
 425 
! [CONFIG_DSRLNIN=y|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&MACHINE=serengeti&CONFIG_SGCN_KBD=y)] CONFIG_SRLN (y)
426 
 
 426 
 
427 
% EGA support
 427 
% EGA support
428 
! [CONFIG_HID_OUT=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n)
 428 
! [CONFIG_HID_OUT=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n)
429 
 
 429 
 
430 
% EGA support
 430 
% EGA support
431 
! [CONFIG_HID_OUT=generic&PLATFORM=ia64&MACHINE=i460GX] CONFIG_EGA (y/n)
 431 
! [CONFIG_HID_OUT=generic&PLATFORM=ia64&MACHINE=i460GX] CONFIG_EGA (y/n)
432 
 
 432 
 
433 
% Framebuffer support
 433 
% Framebuffer support
434 
! [CONFIG_HID_OUT=generic&(PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ppc32)] CONFIG_FB (y/n)
 434 
! [CONFIG_HID_OUT=generic&(PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ppc32)] CONFIG_FB (y/n)
435 
 
 435 
 
436 
% Framebuffer support
 436 
% Framebuffer support
437 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FB (y/n)
 437 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FB (y/n)
438 
 
 438 
 
439 
% Framebuffer support
 439 
% Framebuffer support
440 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=arm32] CONFIG_FB (y/n)
 440 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=arm32] CONFIG_FB (y/n)
441 
 
 441 
 
442 
% Framebuffer support
 442 
% Framebuffer support
443 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=sparc64&MACHINE=generic] CONFIG_FB (y/n)
 443 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=sparc64&MACHINE=generic] CONFIG_FB (y/n)
444 
 
 444 
 
445 
% Default framebuffer mode
 445 
% Default framebuffer mode
446 
@ "640x480"
 446 
@ "640x480"
447 
@ "800x600"
 447 
@ "800x600"
448 
@ "1024x768"
 448 
@ "1024x768"
449 
@ "1152x720"
 449 
@ "1152x720"
450 
@ "1152x864"
 450 
@ "1152x864"
451 
@ "1280x960"
 451 
@ "1280x960"
452 
@ "1280x1024"
 452 
@ "1280x1024"
453 
@ "1400x1050"
 453 
@ "1400x1050"
454 
@ "1440x900"
 454 
@ "1440x900"
455 
@ "1440x1050"
 455 
@ "1440x1050"
456 
@ "1600x1200"
 456 
@ "1600x1200"
457 
@ "1920x1080"
 457 
@ "1920x1080"
458 
@ "1920x1200"
 458 
@ "1920x1200"
459 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_VESA_MODE (choice)
 459 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_VESA_MODE (choice)
460 
 
 460 
 
461 
% Default framebuffer depth
 461 
% Default framebuffer depth
462 
@ "8"
 462 
@ "8"
463 
@ "16"
 463 
@ "16"
464 
@ "24"
 464 
@ "24"
465 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
 465 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
466 
 
 466 
 
467 
% Start AP processors by the loader
 467 
% Start AP processors by the loader
468 
! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
 468 
! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
469 
 
 469 
 
470 
% Use Block Address Translation by the loader
 470 
% Use Block Address Translation by the loader
471 
! [PLATFORM=ppc32] CONFIG_BAT (y/n)
 471 
! [PLATFORM=ppc32] CONFIG_BAT (y/n)
472 
 
 472 
 
473 
% Preserve A.OUT header in isofs.b
 473 
% Preserve A.OUT header in isofs.b
474 
! [PLATFORM=sparc64&MACHINE=generic] CONFIG_AOUT_ISOFS_B (y)
 474 
! [PLATFORM=sparc64&MACHINE=generic] CONFIG_AOUT_ISOFS_B (y)
475 
 
 475 
 
476 
% External ramdisk
 476 
% External ramdisk
477 
! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
 477 
! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
478 
 
 478 
 
479 
% Load disk drivers on startup
 479 
% Load disk drivers on startup
480 
! CONFIG_START_BD (n/y)
 480 
! CONFIG_START_BD (n/y)
481 
 
 481 
 
482 
% Mount /data on startup
 482 
% Mount /data on startup
483 
! [CONFIG_START_BD=y] CONFIG_MOUNT_DATA (n/y)
 483 
! [CONFIG_START_BD=y] CONFIG_MOUNT_DATA (n/y)
484 
 
 484