Subversion Repositories HelenOS

Rev

Rev 2416 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
452 decky 1
## General configuration directives
1 jermar 2
 
550 palkovsky 3
# Architecture
1231 jermar 4
@ "amd64" AMD64/Intel EM64T
2128 jermar 5
@ "arm32" ARM 32-bit
551 jermar 6
@ "ia32" Intel IA-32
1952 jermar 7
@ "ia32xen" Intel IA-32 on Xen hypervisor
551 jermar 8
@ "ia64" Intel IA-64
550 palkovsky 9
@ "mips32" MIPS 32-bit
10
@ "ppc32" PowerPC 32-bit
1160 decky 11
@ "ppc64" PowerPC 64-bit
1802 decky 12
@ "sparc64" Sun UltraSPARC 64-bit
550 palkovsky 13
! ARCH (choice)
14
 
15
# Compiler
16
@ "cross" Cross-compiler
17
@ "native" Native
1802 decky 18
! COMPILER (choice)
550 palkovsky 19
 
20
# CPU type
21
@ "pentium4" Pentium 4
22
@ "pentium3" Pentium 3
23
@ "athlon-xp" Athlon XP
24
@ "athlon-mp" Athlon MP
25
@ "prescott" Prescott
1952 jermar 26
! [ARCH=ia32|ARCH=ia32xen] MACHINE (choice)
550 palkovsky 27
 
1802 decky 28
# CPU type
29
@ "opteron" Opteron
30
! [ARCH=amd64] MACHINE (choice)
31
 
32
# Machine type
2128 jermar 33
@ "gxemul" GXEmul
34
! [ARCH=arm32] MACHINE (choice)
35
 
36
# Machine type
550 palkovsky 37
@ "msim" MSIM Simulator
38
@ "simics" Virtutech Simics simulator
39
@ "lgxemul" GXEmul Little Endian
40
@ "bgxemul" GXEmul Big Endian
41
@ "indy" SGI Indy
1802 decky 42
! [ARCH=mips32] MACHINE (choice)
550 palkovsky 43
 
2064 vana 44
# Machine type
45
@ "ski" Ski ia64 simulator
2065 jermar 46
@ "i460GX" i460GX chipset machine
2064 vana 47
! [ARCH=ia64] MACHINE (choice)
48
 
836 palkovsky 49
# Framebuffer support
1816 decky 50
! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)] CONFIG_FB (y/n)
836 palkovsky 51
 
1287 vana 52
# Framebuffer width
2461 mencl 53
@ "640" 640
54
@ "800" 800
55
@ "1024" 1024
56
@ "1152" 1152
57
@ "1280" 1280
58
@ "1400" 1400
59
@ "1440" 1440
60
@ "1600" 1600
61
@ "2048" 2048
1816 decky 62
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
1287 vana 63
 
64
# Framebuffer height
2461 mencl 65
@ "480" 480
66
@ "600" 600
67
@ "768" 768
68
@ "852" 852
69
@ "900" 900
70
@ "960" 960
71
@ "1024" 1024
72
@ "1050" 1050
73
@ "1200" 1200
74
@ "1536" 1546
1816 decky 75
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
1287 vana 76
 
77
# Framebuffer depth
2461 mencl 78
@ "8" 8
79
@ "16" 16
80
@ "24" 24
1816 decky 81
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
1287 vana 82
 
568 palkovsky 83
# Support for SMP
1952 jermar 84
! [ARCH=ia32|ARCH=amd64|ARCH=ia32xen|ARCH=sparc64] CONFIG_SMP (y/n)
568 palkovsky 85
 
86
# Improved support for hyperthreading
1952 jermar 87
! [(ARCH=ia32|ARCH=amd64|ARCH=ia32xen)&CONFIG_SMP=y] CONFIG_HT (y/n)
568 palkovsky 88
 
778 palkovsky 89
# Simics BIOS AP boot fix
1818 decky 90
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
778 palkovsky 91
 
568 palkovsky 92
# Lazy FPU context switching
1952 jermar 93
! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)
568 palkovsky 94
 
1995 jermar 95
# Use VHPT
96
! [ARCH=ia64] CONFIG_VHPT (n/y)
97
 
98
# Use TSB
99
! [ARCH=sparc64] CONFIG_TSB (y/n)
100
 
101
# Support for Z8530 serial port
102
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
103
 
104
# Support for NS16550 serial port
105
! [ARCH=sparc64] CONFIG_NS16550 (y/n)
106
 
2009 jermar 107
# Virtually indexed D-cache support
108
! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
1995 jermar 109
 
110
 
452 decky 111
## Debugging configuration directives
423 decky 112
 
545 palkovsky 113
# General debuging and assert checking
114
! CONFIG_DEBUG (y/n)
459 decky 115
 
545 palkovsky 116
# Deadlock detection support for spinlocks
626 palkovsky 117
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 118
 
1072 palkovsky 119
# Watchpoint on rewriting AS with zero
1952 jermar 120
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
1072 palkovsky 121
 
1094 palkovsky 122
# Save all interrupt registers
1952 jermar 123
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)
1094 palkovsky 124
 
1210 vana 125
 
459 decky 126
## Run-time configuration directives
127
 
2019 decky 128
# Compile kernel tests
129
! CONFIG_TEST (y/n)
2125 decky 130
 
131
 
132
## Experimental features
133
 
134
# Enable experimental features
135
! CONFIG_EXPERIMENTAL (n/y)
2336 mencl 136
 
137
# Timeout data structure
138
@ "doubly-linked-list" Doubly linked list
139
@ "avl-tree" Avl tree
2461 mencl 140
@ "favl-tree" Fast Avl tree
2416 mencl 141
@ "ext-avl-tree" Extended Avl tree
142
@ "extrel-avl-tree" Extended Avl tree with relative keys
2336 mencl 143
! CONFIG_TIMEOUT_DATA_STRUCTURE (choice)