Subversion Repositories HelenOS

Rev

Rev 3742 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2830 jermar 1
#
2
# Copyright (c) 2006 Ondrej Palkovsky 
3
# All rights reserved.
4
#
5
# Redistribution and use in source and binary forms, with or without
6
# modification, are permitted provided that the following conditions
7
# are met:
8
#
9
# - Redistributions of source code must retain the above copyright
10
#   notice, this list of conditions and the following disclaimer.
11
# - Redistributions in binary form must reproduce the above copyright
12
#   notice, this list of conditions and the following disclaimer in the
13
#   documentation and/or other materials provided with the distribution.
14
# - The name of the author may not be used to endorse or promote products
15
#   derived from this software without specific prior written permission.
16
#
17
# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
#
28
 
452 decky 29
## General configuration directives
1 jermar 30
 
550 palkovsky 31
# Architecture
1231 jermar 32
@ "amd64" AMD64/Intel EM64T
2128 jermar 33
@ "arm32" ARM 32-bit
551 jermar 34
@ "ia32" Intel IA-32
1952 jermar 35
@ "ia32xen" Intel IA-32 on Xen hypervisor
551 jermar 36
@ "ia64" Intel IA-64
550 palkovsky 37
@ "mips32" MIPS 32-bit
38
@ "ppc32" PowerPC 32-bit
1160 decky 39
@ "ppc64" PowerPC 64-bit
1802 decky 40
@ "sparc64" Sun UltraSPARC 64-bit
550 palkovsky 41
! ARCH (choice)
42
 
3742 rimsky 43
# Compiler
44
@ "gcc_cross" GCC Cross-compiler
45
@ "gcc_native" GCC Native
46
@ "icc_native" ICC Native
47
@ "suncc_native" Sun Studio C Compiler
48
! [ARCH=amd64|ARCH=ia32|ARCH=ia32xen] COMPILER (choice)
49
 
50
# Compiler
51
@ "gcc_cross" GCC Cross-compiler
52
@ "gcc_native" GCC Native
53
@ "icc_native" ICC Native
54
! [ARCH=ia64] COMPILER (choice)
55
 
56
# Compiler
57
@ "gcc_cross" GCC Cross-compiler
58
@ "gcc_native" GCC Native
59
@ "suncc_native" Sun Studio C Compiler
60
! [ARCH=sparc64] COMPILER (choice)
61
 
62
# Compiler
63
@ "gcc_cross" GCC Cross-compiler
64
@ "gcc_native" GCC Native
2442 jermar 65
! [ARCH=arm32|ARCH=mips32|ARCH=ppc32|ARCH=ppc64] COMPILER (choice)
550 palkovsky 66
 
67
# CPU type
68
@ "pentium4" Pentium 4
69
@ "pentium3" Pentium 3
2599 decky 70
@ "core" Core Solo/Duo
550 palkovsky 71
@ "athlon-xp" Athlon XP
72
@ "athlon-mp" Athlon MP
1952 jermar 73
! [ARCH=ia32|ARCH=ia32xen] MACHINE (choice)
550 palkovsky 74
 
1802 decky 75
# CPU type
76
@ "opteron" Opteron
77
! [ARCH=amd64] MACHINE (choice)
78
 
3743 rimsky 79
# UltraSPARC (sub)architecture
80
@ "us" UltraSPARC I-II
81
@ "us3" UltraSPARC III-IV
82
@ "sun4v" Niagara (sun4v)
3365 rimsky 83
! [ARCH=sparc64] MACHINE (choice)
84
 
1802 decky 85
# Machine type
550 palkovsky 86
@ "msim" MSIM Simulator
87
@ "simics" Virtutech Simics simulator
88
@ "lgxemul" GXEmul Little Endian
89
@ "bgxemul" GXEmul Big Endian
1802 decky 90
! [ARCH=mips32] MACHINE (choice)
550 palkovsky 91
 
836 palkovsky 92
# Framebuffer support
3051 decky 93
! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)|(ARCH=arm32)] CONFIG_FB (y/n)
836 palkovsky 94
 
1287 vana 95
# Framebuffer width
2585 cejka 96
@ "640"
97
@ "800"
98
@ "1024"
99
@ "1152"
100
@ "1280"
101
@ "1400"
102
@ "1440"
103
@ "1600"
104
@ "2048"
1816 decky 105
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
1287 vana 106
 
107
# Framebuffer height
2585 cejka 108
@ "480"
109
@ "600"
110
@ "768"
111
@ "852"
112
@ "900"
113
@ "960"
114
@ "1024"
115
@ "1050"
116
@ "1200"
117
@ "1536"
1816 decky 118
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
1287 vana 119
 
120
# Framebuffer depth
2585 cejka 121
@ "8"
122
@ "16"
123
@ "24"
1816 decky 124
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
1287 vana 125
 
568 palkovsky 126
# Support for SMP
3593 rimsky 127
! [ARCH=ia32|ARCH=amd64|ARCH=ia32xen|ARCH=sparc64|ARCH=ia64] CONFIG_SMP (y/n)
568 palkovsky 128
 
129
# Improved support for hyperthreading
1952 jermar 130
! [(ARCH=ia32|ARCH=amd64|ARCH=ia32xen)&CONFIG_SMP=y] CONFIG_HT (y/n)
568 palkovsky 131
 
778 palkovsky 132
# Simics BIOS AP boot fix
1818 decky 133
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
778 palkovsky 134
 
568 palkovsky 135
# Lazy FPU context switching
1952 jermar 136
! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)
568 palkovsky 137
 
1995 jermar 138
# Use VHPT
139
! [ARCH=ia64] CONFIG_VHPT (n/y)
140
 
141
# Use TSB
142
! [ARCH=sparc64] CONFIG_TSB (y/n)
143
 
144
# Support for Z8530 serial port
145
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
146
 
3742 rimsky 147
# Support for NS16550 serial port
148
! [ARCH=sparc64|(ARCH=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)
1995 jermar 149
 
3549 rimsky 150
# Support for Serengeti console
151
! [ARCH=sparc64] CONFIG_SGCN (y/n)
152
 
3742 rimsky 153
# IOSapic on default address support
3665 rimsky 154
! [ARCH=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
155
 
156
# Interrupt-driven driver for Legacy Keyboard?
157
! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
158
 
159
# Interrupt-driven driver for NS16550?
160
! [CONFIG_NS16550=y&((ARCH!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)
161
 
2009 jermar 162
# Virtually indexed D-cache support
163
! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
1995 jermar 164
 
3492 rimsky 165
# Support for userspace debuggers
166
! CONFIG_UDEBUG (n/y)
1995 jermar 167
 
452 decky 168
## Debugging configuration directives
423 decky 169
 
3742 rimsky 170
# General debugging and assert checking
545 palkovsky 171
! CONFIG_DEBUG (y/n)
459 decky 172
 
3742 rimsky 173
# Kernel console support
174
! CONFIG_KCONSOLE (y/n)
3051 decky 175
 
3742 rimsky 176
# Detailed kernel logging
177
! CONFIG_LOG (n/y)
178
 
545 palkovsky 179
# Deadlock detection support for spinlocks
626 palkovsky 180
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 181
 
1072 palkovsky 182
# Watchpoint on rewriting AS with zero
1952 jermar 183
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
1072 palkovsky 184
 
1094 palkovsky 185
# Save all interrupt registers
1952 jermar 186
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)
1094 palkovsky 187
 
1210 vana 188
 
459 decky 189
## Run-time configuration directives
190
 
2019 decky 191
# Compile kernel tests
192
! CONFIG_TEST (y/n)