WebSVN – HelenOS – Diff – /trunk/HelenOS.config


#
# Copyright (c) 2006 Ondrej Palkovsky
# Copyright (c) 2009 Martin Decky
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions
# are met:
#
# - Redistributions of source code must retain the above copyright
#   notice, this list of conditions and the following disclaimer.
# - Redistributions in binary form must reproduce the above copyright
#   notice, this list of conditions and the following disclaimer in the
#   documentation and/or other materials provided with the distribution.
# - The name of the author may not be used to endorse or promote products
#   derived from this software without specific prior written permission.
#
# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
#
 
 
## General platform options
 
% Platform
@ "amd64" AMD64/Intel EM64T (PC)
@ "arm32" ARM 32-bit
@ "ia32" Intel IA-32 (PC)
@ "ia64" Intel IA-64
@ "mips32" MIPS 32-bit
@ "ppc32" PowerPC 32-bit (iMac G4)
@ "sparc64" Sun UltraSPARC 64-bit
! PLATFORM (choice)
 
% Machine type
@ "msim" MSIM
@ "simics" Simics
@ "bgxemul" GXEmul big endian
@ "lgxemul" GXEmul little endian
! [PLATFORM=mips32] MACHINE (choice)
 
% Machine type
@ "i460GX" i460GX chipset machine
@ "ski" Ski ia64 simulator
! [PLATFORM=ia64] MACHINE (choice)
 
% CPU type
@ "pentium4" Pentium 4
@ "pentium3" Pentium 3
@ "core" Core Solo/Duo
@ "athlon-xp" Athlon XP
@ "athlon-mp" Athlon MP
! [PLATFORM=ia32] MACHINE (choice)
 
% CPU type
@ "opteron" Opteron
! [PLATFORM=amd64] MACHINE (choice)
 
% CPU type
@ "us" UltraSPARC I-II subarchitecture
@ "us3" UltraSPARC III-IV subarchitecture
! [PLATFORM=sparc64] MACHINE (choice)
 
% Ramdisk format
@ "tmpfs" TMPFS image
@ "fat" FAT16 image
! RDFMT (choice)
 
 
## Mapping between platform and kernel architecture
 
% Kernel architecture
@ "amd64"
! [PLATFORM=amd64] KARCH (choice)
 
% Kernel architecture
@ "arm32"
! [PLATFORM=arm32] KARCH (choice)
 
% Kernel architecture
@ "ia32"
! [PLATFORM=ia32] KARCH (choice)
 
% Kernel architecture
@ "ia32xen"
! [PLATFORM=ia32xen] KARCH (choice)
 
% Kernel architecture
@ "ia64"
! [PLATFORM=ia64] KARCH (choice)
 
% Kernel architecture
@ "mips32"
! [PLATFORM=mips32] KARCH (choice)
 
% Kernel architecture
@ "ppc32"
! [PLATFORM=ppc32] KARCH (choice)
 
% Kernel architecture
@ "ppc64"
! [PLATFORM=ppc64] KARCH (choice)
 
% Kernel architecture
@ "sparc64"
! [PLATFORM=sparc64] KARCH (choice)
 
 
## Mapping between platform and user space architecture
 
% User space architecture
@ "amd64"
! [PLATFORM=amd64] UARCH (choice)
 
% User space architecture
@ "arm32"
! [PLATFORM=arm32] UARCH (choice)
 
% User space architecture
@ "ia32"
! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice)
 
% User space architecture
@ "ia64"
! [PLATFORM=ia64] UARCH (choice)
 
% User space architecture
@ "mips32"
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=simics|MACHINE=lgxemul)] UARCH (choice)
 
% User space architecture
@ "mips32eb"
! [PLATFORM=mips32&(MACHINE=bgxemul)] UARCH (choice)
 
% User space architecture
@ "ppc32"
! [PLATFORM=ppc32] UARCH (choice)
 
% User space architecture
@ "ppc64"
! [PLATFORM=ppc64] UARCH (choice)
 
% User space architecture
@ "sparc64"
! [PLATFORM=sparc64] UARCH (choice)
 
 
## Mapping between platform and boot architecture
 
% Boot architecture
@ "amd64"
! [PLATFORM=amd64] BARCH (choice)
 
% Boot architecture
@ "arm32"
! [PLATFORM=arm32] BARCH (choice)
 
% Boot architecture
@ "ia32"
! [PLATFORM=ia32] BARCH (choice)
 
% Boot architecture
@ "ia32xen"
! [PLATFORM=ia32xen] BARCH (choice)
 
% Boot architecture
@ "ia64"
! [PLATFORM=ia64] BARCH (choice)
 
% Boot architecture
@ "mips32"
! [PLATFORM=mips32] BARCH (choice)
 
% Boot architecture
@ "ppc32"
! [PLATFORM=ppc32] BARCH (choice)
 
% Boot architecture
@ "ppc64"
! [PLATFORM=ppc64] BARCH (choice)
 
% Boot architecture
@ "sparc64"
! [PLATFORM=sparc64] BARCH (choice)
 
 
## Mapping between platform and image format
 
% Image format
@ "binary"
! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
 
% Image format
@ "ecoff"
! [PLATFORM=mips32&(MACHINE=simics|MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice)
 
 
## Compiler options
 
% Compiler
@ "gcc_cross" GCC Cross-compiler
@ "gcc_native" GCC Native
@ "icc_native" ICC Native
@ "suncc_native" Sun Studio C Compiler
! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice)
 
% Compiler
@ "gcc_cross" GCC Cross-compiler
@ "gcc_native" GCC Native
@ "icc_native" ICC Native
! [PLATFORM=ia64] COMPILER (choice)
 
% Compiler
@ "gcc_cross" GCC Cross-compiler
@ "gcc_native" GCC Native
@ "suncc_native" Sun Studio C Compiler
! [PLATFORM=sparc64] COMPILER (choice)
 
% Compiler
@ "gcc_cross" GCC Cross-compiler
@ "gcc_native" GCC Native
! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
 
 
## Debug build options
 
% Debug build
! CONFIG_DEBUG (y/n)
 
 
## Kernel configuration
 
% Fences
! [PLATFORM=ia32&(MACHINE=athlon-xp|MACHINE=athlon-mp|MACHINE=pentium3)] CONFIG_FENCES_P3 (y)
 
% Fences
! [(PLATFORM=ia32&(MACHINE=pentium4|MACHINE=core))|PLATFORM=amd64] CONFIG_FENCES_P4 (y)
 
% ACPI support
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
 
% Hierarchical page tables support
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
 
% Page hash table support
! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
 
% i8042 controller support
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y)
 
% Sun keyboard support
! [PLATFORM=sparc64] CONFIG_SUN_KBD (y)
 
% EGA support
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (y)
 
% Software integer division support
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
 
% ASID support
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
 
% ASID FIFO support
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
 
% OpenFirmware tree support
! [PLATFORM=sparc64] CONFIG_OFW_TREE (y)
 
% FPU support
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64|(PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul))] CONFIG_FPU (y)
 
 
## Kernel features options
 
% Support for SMP
! [(PLATFORM=ia32&MACHINE!=athlon-xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64] CONFIG_SMP (y/n)
 
% Improved support for hyperthreading
! [((PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3)|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)
 
% Lazy FPU context switching
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
 
% Use VHPT
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
 
% Use TSB
! [PLATFORM=sparc64] CONFIG_TSB (y/n)
 
% Support for Z8530 serial port
! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)
 
% Support for NS16550 serial port
! [PLATFORM=sparc64|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)
 
% IOSapic on default address support
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
 
% Interrupt-driven driver for Legacy Keyboard
! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
 
% Interrupt-driven driver for NS16550
! [CONFIG_NS16550=y&((PLATFORM!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)
 
% Support for Serengeti console
! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
 
% Virtually indexed D-cache support
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
 
% Support for userspace debuggers
! CONFIG_UDEBUG (n/y)
 
% Kernel console support
! CONFIG_KCONSOLE (y/n)
 
% Detailed kernel logging
! CONFIG_LOG (n/y)
 
% Deadlock detection support for spinlocks
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
 
 
 
 
% Compile kernel tests
! CONFIG_TEST (y/n)
 
 
## Hardware support
 
% Framebuffer support
! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n)
 
% Framebuffer support
! [PLATFORM=ppc32|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y)
 
% Framebuffer width
@ "640"
@ "800"
@ "1024"
@ "1152"
@ "1280"
@ "1400"
@ "1440"
@ "1600"
@ "2048"
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
 
% Framebuffer height
@ "480"
@ "600"
@ "768"
@ "852"
@ "900"
@ "960"
@ "1024"
@ "1050"
@ "1200"
@ "1536"
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
 
% Framebuffer depth
@ "8"
@ "16"
@ "24"
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
 
% Start AP processors by the loader
! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
 
% Use Block Address Translation by the loader
! [PLATFORM=ppc32] CONFIG_BAT (y/n)
 
% Preserve A.OUT header in isofs.b
! [PLATFORM=sparc64] CONFIG_AOUT_ISOFS_B (y/n)
 
% External ramdisk
! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
 

Rev 3891	Rev 3892
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		30
31	## General platform options	31	## General platform options
32		32
33	% Platform	33	% Platform
34	@ "amd64" AMD64/Intel EM64T (PC)	34	@ "amd64" AMD64/Intel EM64T (PC)
35	@ "arm32" ARM 32-bit	35	@ "arm32" ARM 32-bit
36	@ "ia32" Intel IA-32 (PC)	36	@ "ia32" Intel IA-32 (PC)
37	@ "ia64" Intel IA-64	37	@ "ia64" Intel IA-64
38	@ "mips32" MIPS 32-bit	38	@ "mips32" MIPS 32-bit
39	@ "ppc32" PowerPC 32-bit (iMac G4)	39	@ "ppc32" PowerPC 32-bit (iMac G4)
40	@ "sparc64" Sun UltraSPARC 64-bit	40	@ "sparc64" Sun UltraSPARC 64-bit
41	! PLATFORM (choice)	41	! PLATFORM (choice)
42		42
43	% Machine type	43	% Machine type
44	@ "msim" MSIM	44	@ "msim" MSIM
45	@ "simics" Simics	45	@ "simics" Simics
46	@ "bgxemul" GXEmul big endian	46	@ "bgxemul" GXEmul big endian
47	@ "lgxemul" GXEmul little endian	47	@ "lgxemul" GXEmul little endian
48	! [PLATFORM=mips32] MACHINE (choice)	48	! [PLATFORM=mips32] MACHINE (choice)
49		49
50	% Machine type	50	% Machine type
51	@ "i460GX" i460GX chipset machine	51	@ "i460GX" i460GX chipset machine
52	@ "ski" Ski ia64 simulator	52	@ "ski" Ski ia64 simulator
53	! [PLATFORM=ia64] MACHINE (choice)	53	! [PLATFORM=ia64] MACHINE (choice)
54		54
55	% CPU type	55	% CPU type
56	@ "pentium4" Pentium 4	56	@ "pentium4" Pentium 4
57	@ "pentium3" Pentium 3	57	@ "pentium3" Pentium 3
58	@ "core" Core Solo/Duo	58	@ "core" Core Solo/Duo
59	@ "athlon-xp" Athlon XP	59	@ "athlon-xp" Athlon XP
60	@ "athlon-mp" Athlon MP	60	@ "athlon-mp" Athlon MP
61	! [PLATFORM=ia32] MACHINE (choice)	61	! [PLATFORM=ia32] MACHINE (choice)
62		62
63	% CPU type	63	% CPU type
64	@ "opteron" Opteron	64	@ "opteron" Opteron
65	! [PLATFORM=amd64] MACHINE (choice)	65	! [PLATFORM=amd64] MACHINE (choice)
66		66
67	% CPU type	67	% CPU type
68	@ "us" UltraSPARC I-II subarchitecture	68	@ "us" UltraSPARC I-II subarchitecture
69	@ "us3" UltraSPARC III-IV subarchitecture	69	@ "us3" UltraSPARC III-IV subarchitecture
70	! [PLATFORM=sparc64] MACHINE (choice)	70	! [PLATFORM=sparc64] MACHINE (choice)
71		71
72	% Ramdisk format	72	% Ramdisk format
73	@ "tmpfs" TMPFS image	73	@ "tmpfs" TMPFS image
74	@ "fat" FAT16 image	74	@ "fat" FAT16 image
75	! RDFMT (choice)	75	! RDFMT (choice)
76		76
77		77
78	## Mapping between platform and kernel architecture	78	## Mapping between platform and kernel architecture
79		79
80	% Kernel architecture	80	% Kernel architecture
81	@ "amd64"	81	@ "amd64"
82	! [PLATFORM=amd64] KARCH (choice)	82	! [PLATFORM=amd64] KARCH (choice)
83		83
84	% Kernel architecture	84	% Kernel architecture
85	@ "arm32"	85	@ "arm32"
86	! [PLATFORM=arm32] KARCH (choice)	86	! [PLATFORM=arm32] KARCH (choice)
87		87
88	% Kernel architecture	88	% Kernel architecture
89	@ "ia32"	89	@ "ia32"
90	! [PLATFORM=ia32] KARCH (choice)	90	! [PLATFORM=ia32] KARCH (choice)
91		91
92	% Kernel architecture	92	% Kernel architecture
93	@ "ia32xen"	93	@ "ia32xen"
94	! [PLATFORM=ia32xen] KARCH (choice)	94	! [PLATFORM=ia32xen] KARCH (choice)
95		95
96	% Kernel architecture	96	% Kernel architecture
97	@ "ia64"	97	@ "ia64"
98	! [PLATFORM=ia64] KARCH (choice)	98	! [PLATFORM=ia64] KARCH (choice)
99		99
100	% Kernel architecture	100	% Kernel architecture
101	@ "mips32"	101	@ "mips32"
102	! [PLATFORM=mips32] KARCH (choice)	102	! [PLATFORM=mips32] KARCH (choice)
103		103
104	% Kernel architecture	104	% Kernel architecture
105	@ "ppc32"	105	@ "ppc32"
106	! [PLATFORM=ppc32] KARCH (choice)	106	! [PLATFORM=ppc32] KARCH (choice)
107		107
108	% Kernel architecture	108	% Kernel architecture
109	@ "ppc64"	109	@ "ppc64"
110	! [PLATFORM=ppc64] KARCH (choice)	110	! [PLATFORM=ppc64] KARCH (choice)
111		111
112	% Kernel architecture	112	% Kernel architecture
113	@ "sparc64"	113	@ "sparc64"
114	! [PLATFORM=sparc64] KARCH (choice)	114	! [PLATFORM=sparc64] KARCH (choice)
115		115
116		116
117	## Mapping between platform and user space architecture	117	## Mapping between platform and user space architecture
118		118
119	% User space architecture	119	% User space architecture
120	@ "amd64"	120	@ "amd64"
121	! [PLATFORM=amd64] UARCH (choice)	121	! [PLATFORM=amd64] UARCH (choice)
122		122
123	% User space architecture	123	% User space architecture
124	@ "arm32"	124	@ "arm32"
125	! [PLATFORM=arm32] UARCH (choice)	125	! [PLATFORM=arm32] UARCH (choice)
126		126
127	% User space architecture	127	% User space architecture
128	@ "ia32"	128	@ "ia32"
129	! [PLATFORM=ia32\|PLATFORM=ia32xen] UARCH (choice)	129	! [PLATFORM=ia32\|PLATFORM=ia32xen] UARCH (choice)
130		130
131	% User space architecture	131	% User space architecture
132	@ "ia64"	132	@ "ia64"
133	! [PLATFORM=ia64] UARCH (choice)	133	! [PLATFORM=ia64] UARCH (choice)
134		134
135	% User space architecture	135	% User space architecture
136	@ "mips32"	136	@ "mips32"
137	! [PLATFORM=mips32&(MACHINE=msim\|MACHINE=simics\|MACHINE=lgxemul)] UARCH (choice)	137	! [PLATFORM=mips32&(MACHINE=msim\|MACHINE=simics\|MACHINE=lgxemul)] UARCH (choice)
138		138
139	% User space architecture	139	% User space architecture
140	@ "mips32eb"	140	@ "mips32eb"
141	! [PLATFORM=mips32&(MACHINE=bgxemul)] UARCH (choice)	141	! [PLATFORM=mips32&(MACHINE=bgxemul)] UARCH (choice)
142		142
143	% User space architecture	143	% User space architecture
144	@ "ppc32"	144	@ "ppc32"
145	! [PLATFORM=ppc32] UARCH (choice)	145	! [PLATFORM=ppc32] UARCH (choice)
146		146
147	% User space architecture	147	% User space architecture
148	@ "ppc64"	148	@ "ppc64"
149	! [PLATFORM=ppc64] UARCH (choice)	149	! [PLATFORM=ppc64] UARCH (choice)
150		150
151	% User space architecture	151	% User space architecture
152	@ "sparc64"	152	@ "sparc64"
153	! [PLATFORM=sparc64] UARCH (choice)	153	! [PLATFORM=sparc64] UARCH (choice)
154		154
155		155
156	## Mapping between platform and boot architecture	156	## Mapping between platform and boot architecture
157		157
158	% Boot architecture	158	% Boot architecture
159	@ "amd64"	159	@ "amd64"
160	! [PLATFORM=amd64] BARCH (choice)	160	! [PLATFORM=amd64] BARCH (choice)
161		161
162	% Boot architecture	162	% Boot architecture
163	@ "arm32"	163	@ "arm32"
164	! [PLATFORM=arm32] BARCH (choice)	164	! [PLATFORM=arm32] BARCH (choice)
165		165
166	% Boot architecture	166	% Boot architecture
167	@ "ia32"	167	@ "ia32"
168	! [PLATFORM=ia32] BARCH (choice)	168	! [PLATFORM=ia32] BARCH (choice)
169		169
170	% Boot architecture	170	% Boot architecture
171	@ "ia32xen"	171	@ "ia32xen"
172	! [PLATFORM=ia32xen] BARCH (choice)	172	! [PLATFORM=ia32xen] BARCH (choice)
173		173
174	% Boot architecture	174	% Boot architecture
175	@ "ia64"	175	@ "ia64"
176	! [PLATFORM=ia64] BARCH (choice)	176	! [PLATFORM=ia64] BARCH (choice)
177		177
178	% Boot architecture	178	% Boot architecture
179	@ "mips32"	179	@ "mips32"
180	! [PLATFORM=mips32] BARCH (choice)	180	! [PLATFORM=mips32] BARCH (choice)
181		181
182	% Boot architecture	182	% Boot architecture
183	@ "ppc32"	183	@ "ppc32"
184	! [PLATFORM=ppc32] BARCH (choice)	184	! [PLATFORM=ppc32] BARCH (choice)
185		185
186	% Boot architecture	186	% Boot architecture
187	@ "ppc64"	187	@ "ppc64"
188	! [PLATFORM=ppc64] BARCH (choice)	188	! [PLATFORM=ppc64] BARCH (choice)
189		189
190	% Boot architecture	190	% Boot architecture
191	@ "sparc64"	191	@ "sparc64"
192	! [PLATFORM=sparc64] BARCH (choice)	192	! [PLATFORM=sparc64] BARCH (choice)
193		193
194		194
195	## Mapping between platform and image format	195	## Mapping between platform and image format
196		196
197	% Image format	197	% Image format
198	@ "binary"	198	@ "binary"
199	! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)	199	! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
200		200
201	% Image format	201	% Image format
202	@ "ecoff"	202	@ "ecoff"
203	! [PLATFORM=mips32&(MACHINE=simics\|MACHINE=bgxemul\|MACHINE=lgxemul)] IMAGE (choice)	203	! [PLATFORM=mips32&(MACHINE=simics\|MACHINE=bgxemul\|MACHINE=lgxemul)] IMAGE (choice)
204		204
205		205
206	## Compiler options	206	## Compiler options
207		207
208	% Compiler	208	% Compiler
209	@ "gcc_cross" GCC Cross-compiler	209	@ "gcc_cross" GCC Cross-compiler
210	@ "gcc_native" GCC Native	210	@ "gcc_native" GCC Native
211	@ "icc_native" ICC Native	211	@ "icc_native" ICC Native
212	@ "suncc_native" Sun Studio C Compiler	212	@ "suncc_native" Sun Studio C Compiler
213	! [PLATFORM=amd64\|PLATFORM=ia32] COMPILER (choice)	213	! [PLATFORM=amd64\|PLATFORM=ia32] COMPILER (choice)
214		214
215	% Compiler	215	% Compiler
216	@ "gcc_cross" GCC Cross-compiler	216	@ "gcc_cross" GCC Cross-compiler
217	@ "gcc_native" GCC Native	217	@ "gcc_native" GCC Native
218	@ "icc_native" ICC Native	218	@ "icc_native" ICC Native
219	! [PLATFORM=ia64] COMPILER (choice)	219	! [PLATFORM=ia64] COMPILER (choice)
220		220
221	% Compiler	221	% Compiler
222	@ "gcc_cross" GCC Cross-compiler	222	@ "gcc_cross" GCC Cross-compiler
223	@ "gcc_native" GCC Native	223	@ "gcc_native" GCC Native
224	@ "suncc_native" Sun Studio C Compiler	224	@ "suncc_native" Sun Studio C Compiler
225	! [PLATFORM=sparc64] COMPILER (choice)	225	! [PLATFORM=sparc64] 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	! [PLATFORM=arm32\|PLATFORM=mips32\|PLATFORM=ppc32] COMPILER (choice)	230	! [PLATFORM=arm32\|PLATFORM=mips32\|PLATFORM=ppc32] COMPILER (choice)
231		231
232		232
233	## Debug build options	233	## Debug build options
234		234
235	% Debug build	235	% Debug build
236	! CONFIG_DEBUG (y/n)	236	! CONFIG_DEBUG (y/n)
237		237
238		238
239	## Kernel configuration	239	## Kernel configuration
240		240
241	% Fences	241	% Fences
242	! [PLATFORM=ia32&(MACHINE=athlon-xp\|MACHINE=athlon-mp\|MACHINE=pentium3)] CONFIG_FENCES_P3 (y)	242	! [PLATFORM=ia32&(MACHINE=athlon-xp\|MACHINE=athlon-mp\|MACHINE=pentium3)] CONFIG_FENCES_P3 (y)
243		243
244	% Fences	244	% Fences
245	! [(PLATFORM=ia32&(MACHINE=pentium4\|MACHINE=core))\|PLATFORM=amd64] CONFIG_FENCES_P4 (y)	245	! [(PLATFORM=ia32&(MACHINE=pentium4\|MACHINE=core))\|PLATFORM=amd64] CONFIG_FENCES_P4 (y)
246		246
247	% ACPI support	247	% ACPI support
248	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_ACPI (y)	248	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_ACPI (y)
249		249
250	% Hierarchical page tables support	250	% Hierarchical page tables support
251	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=arm32\|PLATFORM=mips32\|PLATFORM=ppc32] CONFIG_PAGE_PT (y)	251	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=arm32\|PLATFORM=mips32\|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
252		252
253	% Page hash table support	253	% Page hash table support
254	! [PLATFORM=ia64\|PLATFORM=sparc64] CONFIG_PAGE_HT (y)	254	! [PLATFORM=ia64\|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
255		255
256	% i8042 controller support	256	% i8042 controller support
257	! [PLATFORM=ia32\|PLATFORM=amd64\|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y)	257	! [PLATFORM=ia32\|PLATFORM=amd64\|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y)
258		258
259	% Sun keyboard support	259	% Sun keyboard support
260	! [PLATFORM=sparc64] CONFIG_SUN_KBD (y)	260	! [PLATFORM=sparc64] CONFIG_SUN_KBD (y)
261		261
262	% EGA support	262	% EGA support
263	! [PLATFORM=ia32\|PLATFORM=amd64\|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (y)	263	! [PLATFORM=ia32\|PLATFORM=amd64\|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (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	% FPU support	277	% FPU support
278	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=ia64\|PLATFORM=sparc64\|(PLATFORM=mips32&(MACHINE=lgxemul\|MACHINE=bgxemul))] CONFIG_FPU (y)	278	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=ia64\|PLATFORM=sparc64\|(PLATFORM=mips32&(MACHINE=lgxemul\|MACHINE=bgxemul))] CONFIG_FPU (y)
279		279
280		280
281	## Kernel features options	281	## Kernel features options
282		282
283	% Support for SMP	283	% Support for SMP
284	! [(PLATFORM=ia32&MACHINE!=athlon-xp)\|PLATFORM=amd64\|PLATFORM=sparc64\|PLATFORM=ia64] CONFIG_SMP (y/n)	284	! [(PLATFORM=ia32&MACHINE!=athlon-xp)\|PLATFORM=amd64\|PLATFORM=sparc64\|PLATFORM=ia64] CONFIG_SMP (y/n)
285		285
286	% Improved support for hyperthreading	286	% Improved support for hyperthreading
287	! [((PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3)\|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)	287	! [((PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3)\|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)
288		288
289	% Lazy FPU context switching	289	% Lazy FPU context switching
290	! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)	290	! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
291		291
292	% Use VHPT	292	% Use VHPT
293	! [PLATFORM=ia64] CONFIG_VHPT (n/y)	293	! [PLATFORM=ia64] CONFIG_VHPT (n/y)
294		294
295	% Use TSB	295	% Use TSB
296	! [PLATFORM=sparc64] CONFIG_TSB (y/n)	296	! [PLATFORM=sparc64] CONFIG_TSB (y/n)
297		297
298	% Support for Z8530 serial port	298	% Support for Z8530 serial port
299	! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)	299	! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)
300		300
301	% Support for NS16550 serial port	301	% Support for NS16550 serial port
302	! [PLATFORM=sparc64\|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)	302	! [PLATFORM=sparc64\|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)
303		303
304	% IOSapic on default address support	304	% IOSapic on default address support
305	! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)	305	! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
306		306
307	% Interrupt-driven driver for Legacy Keyboard	307	% Interrupt-driven driver for Legacy Keyboard
308	! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)	308	! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
309		309
310	% Interrupt-driven driver for NS16550	310	% Interrupt-driven driver for NS16550
311	! [CONFIG_NS16550=y&((PLATFORM!=ia64)\|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)	311	! [CONFIG_NS16550=y&((PLATFORM!=ia64)\|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)
312		312
313	% Support for Serengeti console	313	% Support for Serengeti console
314	! [PLATFORM=sparc64] CONFIG_SGCN (y/n)	314	! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
315		315
316	% Virtually indexed D-cache support	316	% Virtually indexed D-cache support
317	! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)	317	! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
318		318
319	% Support for userspace debuggers	319	% Support for userspace debuggers
320	! CONFIG_UDEBUG (n/y)	320	! CONFIG_UDEBUG (n/y)
321		321
322	% Kernel console support	322	% Kernel console support
323	! CONFIG_KCONSOLE (y/n)	323	! CONFIG_KCONSOLE (y/n)
324		324
325	% Detailed kernel logging	325	% Detailed kernel logging
326	! CONFIG_LOG (n/y)	326	! CONFIG_LOG (n/y)
327		327
328	% Deadlock detection support for spinlocks	328	% Deadlock detection support for spinlocks
329	! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)	329	! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
330		330
331	% Watchpoint on rewriting AS with zero	-
332	! [CONFIG_DEBUG=y&(PLATFORM=amd64\|PLATFORM=ia32)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)	-
333		-
334	% Compile kernel tests	331	% Compile kernel tests
335	! CONFIG_TEST (y/n)	332	! CONFIG_TEST (y/n)
336		333
337		334
338	## Hardware support	335	## Hardware support
339		336
340	% Framebuffer support	337	% Framebuffer support
341	! [(PLATFORM=mips32&MACHINE=lgxemul)\|(PLATFORM=mips32&MACHINE=bgxemul)\|(PLATFORM=ia32)\|(PLATFORM=amd64)\|(PLATFORM=arm32)\|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n)	338	! [(PLATFORM=mips32&MACHINE=lgxemul)\|(PLATFORM=mips32&MACHINE=bgxemul)\|(PLATFORM=ia32)\|(PLATFORM=amd64)\|(PLATFORM=arm32)\|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n)
342		339
343	% Framebuffer support	340	% Framebuffer support
344	! [PLATFORM=ppc32\|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y)	341	! [PLATFORM=ppc32\|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y)
345		342
346	% Framebuffer width	343	% Framebuffer width
347	@ "640"	344	@ "640"
348	@ "800"	345	@ "800"
349	@ "1024"	346	@ "1024"
350	@ "1152"	347	@ "1152"
351	@ "1280"	348	@ "1280"
352	@ "1400"	349	@ "1400"
353	@ "1440"	350	@ "1440"
354	@ "1600"	351	@ "1600"
355	@ "2048"	352	@ "2048"
356	! [(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)	353	! [(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
357		354
358	% Framebuffer height	355	% Framebuffer height
359	@ "480"	356	@ "480"
360	@ "600"	357	@ "600"
361	@ "768"	358	@ "768"
362	@ "852"	359	@ "852"
363	@ "900"	360	@ "900"
364	@ "960"	361	@ "960"
365	@ "1024"	362	@ "1024"
366	@ "1050"	363	@ "1050"
367	@ "1200"	364	@ "1200"
368	@ "1536"	365	@ "1536"
369	! [(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)	366	! [(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
370		367
371	% Framebuffer depth	368	% Framebuffer depth
372	@ "8"	369	@ "8"
373	@ "16"	370	@ "16"
374	@ "24"	371	@ "24"
375	! [(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)	372	! [(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
376		373
377	% Start AP processors by the loader	374	% Start AP processors by the loader
378	! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)	375	! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
379		376
380	% Use Block Address Translation by the loader	377	% Use Block Address Translation by the loader
381	! [PLATFORM=ppc32] CONFIG_BAT (y/n)	378	! [PLATFORM=ppc32] CONFIG_BAT (y/n)
382		379
383	% Preserve A.OUT header in isofs.b	380	% Preserve A.OUT header in isofs.b
384	! [PLATFORM=sparc64] CONFIG_AOUT_ISOFS_B (y/n)	381	! [PLATFORM=sparc64] CONFIG_AOUT_ISOFS_B (y/n)
385		382
386	% External ramdisk	383	% External ramdisk
387	! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)	384	! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
388		385

Subversion Repositories HelenOS

(root)/trunk/HelenOS.config – Rev 3891 → 3892