Subversion Repositories HelenOS

Rev

Rev 1844 | 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
6
@ "ia64" Intel IA-64
550 palkovsky 7
@ "mips32" MIPS 32-bit
8
@ "ppc32" PowerPC 32-bit
1160 decky 9
@ "ppc64" PowerPC 64-bit
1802 decky 10
@ "sparc64" Sun UltraSPARC 64-bit
1774 decky 11
@ "xen32" Xen 32-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
1802 decky 25
! [ARCH=ia32|ARCH=xen32] 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
 
1844 jermar 39
# Machine type
40
@ "ultra" Sun Ultra 5
41
@ "enterprise" Sun Enterprise E6500
42
! [ARCH=sparc64] MACHINE (choice)
43
 
836 palkovsky 44
# Framebuffer support
1816 decky 45
! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)] CONFIG_FB (y/n)
836 palkovsky 46
 
1287 vana 47
# Framebuffer width
48
@ "640"
49
@ "800"
50
@ "1024"
1638 decky 51
@ "1152"
1287 vana 52
@ "1280"
1638 decky 53
@ "1400"
54
@ "1440"
1287 vana 55
@ "1600"
56
@ "2048"
1816 decky 57
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
1287 vana 58
 
59
# Framebuffer height
60
@ "480"
61
@ "600"
62
@ "768"
1638 decky 63
@ "852"
64
@ "900"
65
@ "960"
1287 vana 66
@ "1024"
1638 decky 67
@ "1050"
1287 vana 68
@ "1200"
69
@ "1536"
1816 decky 70
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
1287 vana 71
 
72
# Framebuffer depth
73
@ "8"
74
@ "16"
75
@ "24"
1816 decky 76
! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
1287 vana 77
 
568 palkovsky 78
# Support for SMP
1774 decky 79
! [ARCH=ia32|ARCH=amd64|ARCH=xen32] CONFIG_SMP (y/n)
568 palkovsky 80
 
81
# Improved support for hyperthreading
1774 decky 82
! [(ARCH=ia32|ARCH=amd64|ARCH=xen32)&CONFIG_SMP=y] CONFIG_HT (y/n)
568 palkovsky 83
 
778 palkovsky 84
# Simics BIOS AP boot fix
1818 decky 85
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
778 palkovsky 86
 
568 palkovsky 87
# Lazy FPU context switching
1882 jermar 88
! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=xen32] CONFIG_FPU_LAZY (y/n)
568 palkovsky 89
 
1004 decky 90
# Power off on halt
1716 decky 91
! [ARCH=ppc32] CONFIG_POWEROFF (n/y)
1004 decky 92
 
452 decky 93
## Debugging configuration directives
423 decky 94
 
545 palkovsky 95
# General debuging and assert checking
96
! CONFIG_DEBUG (y/n)
459 decky 97
 
545 palkovsky 98
# Deadlock detection support for spinlocks
626 palkovsky 99
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 100
 
1072 palkovsky 101
# Watchpoint on rewriting AS with zero
1774 decky 102
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=xen32)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
1072 palkovsky 103
 
1094 palkovsky 104
# Save all interrupt registers
1774 decky 105
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=xen32)] CONFIG_DEBUG_ALLREGS (y/n)
1094 palkovsky 106
 
1210 vana 107
# Use VHPT
1802 decky 108
! [ARCH=ia64] CONFIG_VHPT (n/y)
1210 vana 109
 
459 decky 110
## Run-time configuration directives
111
 
545 palkovsky 112
# Kernel test type
113
@ "" No test
1024 jermar 114
@ "atomic/atomic1" Test of atomic operations.
1101 jermar 115
@ "btree/btree1" B-tree test.
545 palkovsky 116
@ "synch/rwlock1" Read write test 1
117
@ "synch/rwlock2" Read write test 2
118
@ "synch/rwlock3" Read write test 3
119
@ "synch/rwlock4" Read write test 4
120
@ "synch/rwlock5" Read write test 5
121
@ "synch/semaphore1" Semaphore test 1
122
@ "synch/semaphore2" Sempahore test 2
1816 decky 123
@ [ARCH=ia32|ARCH=amd64|ARCH=ia64|ARCH=xen32] "fpu/fpu1" Intel FPU test 1
124
@ [ARCH=ia32|ARCH=amd64|ARCH=xen32] "fpu/sse1" Intel SSE test 1
1802 decky 125
@ [ARCH=mips32&MACHINE!=msim&MACHINE!=simics] "fpu/mips1" MIPS FPU test 1
545 palkovsky 126
@ "print/print1" Printf test 1
592 palkovsky 127
@ "thread/thread1" Thread test 1
548 jermar 128
@ "mm/mapping1" Mapping test 1
689 bondari 129
@ "mm/falloc1" Frame Allocation test 1
692 bondari 130
@ "mm/falloc2" Frame Allocation test 2
1802 decky 131
@ "mm/slab1" SLAB test1 - No CPU cache
767 palkovsky 132
@ "mm/slab2" SLAB test2 - SMP CPU cache
892 vana 133
@ "fault/fault1" Write to NULL (maybe page fault)
1317 vana 134
@ "sysinfo" Sysinfo fill and dump test
929 palkovsky 135
@ [ARCH=ia64] "mm/purge1" Itanium TLB purge test
1802 decky 136
@ [ARCH=mips32] "debug/mips1" MIPS breakpoint-debug test 
545 palkovsky 137
! CONFIG_TEST (choice)