Subversion Repositories HelenOS

Rev

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