WebSVN – HelenOS – Diff – /branches/dynload/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
@ "gxemul" GXEmul
! [PLATFORM=arm32] 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)] CONFIG_FENCES_P4 (y)
 
% Fences
! [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] CONFIG_FPU (y)
 
% FPU support
! [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|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
 
% Improved support for hyperthreading
! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
 
% Improved support for hyperthreading
! [PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3&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] CONFIG_NS16550 (y/n)
 
 
 
 
% Support for NS16550 serial port
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_NS16550 (n/y)
 
% Support for Serengeti console
! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
 
% IOSapic on default address support
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
 
% Virtually indexed D-cache support
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
 
% Support for userspace debuggers
! CONFIG_UDEBUG (y/n)
 
% 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)
 
% Keyboard layout
@ "us_qwerty" US QWERTY
@ "us_dvorak" US Dvorak
! KBD_LAYOUT (choice)
 
% Use shared C library
! CONFIG_SHARED_LIBC (y/n)
 

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

Subversion Repositories HelenOS

(root)/branches/dynload/HelenOS.config – Rev 4342 → 4343