Subversion Repositories HelenOS

Rev

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