Subversion Repositories HelenOS

Rev

Rev 2585 | Rev 2830 | Go to most recent revision | 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
 
2442 jermar 15
# Compiler                                                                                                        
16
@ "gcc_cross" GCC Cross-compiler                                                                                  
17
@ "gcc_native" GCC Native                                                                                         
18
@ "icc_native" ICC Native                                                                                         
2443 jermar 19
@ "suncc_native" Sun Studio C Compiler                                                                             
2442 jermar 20
! [ARCH=amd64|ARCH=ia32|ARCH=ia32xen] COMPILER (choice)                                               
21
 
22
# Compiler                                                                                                        
23
@ "gcc_cross" GCC Cross-compiler                                                                                  
24
@ "gcc_native" GCC Native                                                                                         
25
@ "icc_native" ICC Native                                                                                         
26
! [ARCH=ia64] COMPILER (choice)                                                                               
27
 
28
# Compiler                                                                                                        
29
@ "gcc_cross" GCC Cross-compiler                                                                                  
30
@ "gcc_native" GCC Native                                                                                         
2443 jermar 31
@ "suncc_native" Sun Studio C Compiler                                                                             
2442 jermar 32
! [ARCH=sparc64] COMPILER (choice)                                                                            
33
 
34
# Compiler                                                                                                        
35
@ "gcc_cross" GCC Cross-compiler                                                                                  
36
@ "gcc_native" GCC Native                                                                                         
37
! [ARCH=arm32|ARCH=mips32|ARCH=ppc32|ARCH=ppc64] COMPILER (choice)
550 palkovsky 38
 
39
# CPU type
40
@ "pentium4" Pentium 4
41
@ "pentium3" Pentium 3
2599 decky 42
@ "core" Core Solo/Duo
550 palkovsky 43
@ "athlon-xp" Athlon XP
44
@ "athlon-mp" Athlon MP
1952 jermar 45
! [ARCH=ia32|ARCH=ia32xen] MACHINE (choice)
550 palkovsky 46
 
1802 decky 47
# CPU type
48
@ "opteron" Opteron
49
! [ARCH=amd64] MACHINE (choice)
50
 
51
# Machine type
550 palkovsky 52
@ "msim" MSIM Simulator
53
@ "simics" Virtutech Simics simulator
54
@ "lgxemul" GXEmul Little Endian
55
@ "bgxemul" GXEmul Big Endian
56
@ "indy" SGI Indy
1802 decky 57
! [ARCH=mips32] MACHINE (choice)
550 palkovsky 58
 
2064 vana 59
# Machine type
2465 jermar 60
@ "gxemul_testarm" GXEmul testarm
61
! [ARCH=arm32] MACHINE (choice)
62
 
2064 vana 63
 
836 palkovsky 64
# Framebuffer support
2465 jermar 65
! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)|(ARCH=arm32&MACHINE=gxemul_testarm)] CONFIG_FB (y/n)
836 palkovsky 66
 
1287 vana 67
# Framebuffer width
2585 cejka 68
@ "640"
69
@ "800"
70
@ "1024"
71
@ "1152"
72
@ "1280"
73
@ "1400"
74
@ "1440"
75
@ "1600"
76
@ "2048"
1816 decky 77
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
1287 vana 78
 
79
# Framebuffer height
2585 cejka 80
@ "480"
81
@ "600"
82
@ "768"
83
@ "852"
84
@ "900"
85
@ "960"
86
@ "1024"
87
@ "1050"
88
@ "1200"
89
@ "1536"
1816 decky 90
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
1287 vana 91
 
92
# Framebuffer depth
2585 cejka 93
@ "8"
94
@ "16"
95
@ "24"
1816 decky 96
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
1287 vana 97
 
568 palkovsky 98
# Support for SMP
1952 jermar 99
! [ARCH=ia32|ARCH=amd64|ARCH=ia32xen|ARCH=sparc64] CONFIG_SMP (y/n)
568 palkovsky 100
 
101
# Improved support for hyperthreading
1952 jermar 102
! [(ARCH=ia32|ARCH=amd64|ARCH=ia32xen)&CONFIG_SMP=y] CONFIG_HT (y/n)
568 palkovsky 103
 
778 palkovsky 104
# Simics BIOS AP boot fix
1818 decky 105
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
778 palkovsky 106
 
568 palkovsky 107
# Lazy FPU context switching
1952 jermar 108
! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)
568 palkovsky 109
 
1995 jermar 110
# Use VHPT
111
! [ARCH=ia64] CONFIG_VHPT (n/y)
112
 
113
# Use TSB
114
! [ARCH=sparc64] CONFIG_TSB (y/n)
115
 
116
# Support for Z8530 serial port
117
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
118
 
119
# Support for NS16550 serial port
120
! [ARCH=sparc64] CONFIG_NS16550 (y/n)
121
 
2009 jermar 122
# Virtually indexed D-cache support
123
! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
1995 jermar 124
 
125
 
452 decky 126
## Debugging configuration directives
423 decky 127
 
545 palkovsky 128
# General debuging and assert checking
129
! CONFIG_DEBUG (y/n)
459 decky 130
 
545 palkovsky 131
# Deadlock detection support for spinlocks
626 palkovsky 132
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 133
 
1072 palkovsky 134
# Watchpoint on rewriting AS with zero
1952 jermar 135
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
1072 palkovsky 136
 
1094 palkovsky 137
# Save all interrupt registers
1952 jermar 138
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)
1094 palkovsky 139
 
1210 vana 140
 
459 decky 141
## Run-time configuration directives
142
 
2019 decky 143
# Compile kernel tests
144
! CONFIG_TEST (y/n)
2125 decky 145
 
146
 
147
## Experimental features
148
 
149
# Enable experimental features
150
! CONFIG_EXPERIMENTAL (n/y)