source: mainline/HelenOS.config@ 3f4005f

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 3f4005f was 3f4005f, checked in by Martin Decky <martin@…>, 15 years ago

enable softint on abs32le

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